CONCUR 2010 - Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642153747, 9783642153754
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Obliging Games

2010 ◽  
pp. 284-296 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Florian Horn ◽  
Christof Löding

scholarly journals Mean-Payoff Automaton Expressions

2010 ◽  
pp. 269-283 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Laurent Doyen ◽  
Herbert Edelsbrunner ◽  
Thomas A. Henzinger ◽  
Philippe Rannou
Keyword(s):  
Mean Payoff

scholarly journals Kleene, Rabin, and Scott Are Available

2010 ◽  
pp. 462-477 ◽  
Author(s):  
Jochen Hoenicke ◽  
Roland Meyer ◽  
Ernst-Rüdiger Olderog

scholarly journals Communicating Transactions

2010 ◽  
pp. 569-583 ◽  
Author(s):  
Edsko de Vries ◽  
Vasileios Koutavas ◽  
Matthew Hennessy

scholarly journals Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification

2010 ◽  
pp. 86-101 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Yu-Fang Chen ◽  
Giorgio Delzanno ◽  
Frédéric Haziza ◽  
Chih-Duo Hong ◽  
...  
Keyword(s):  
Parameterized Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document