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

A Logic for True Concurrency

2010 ◽  
pp. 147-161 ◽  
Author(s):  
Paolo Baldan ◽  
Silvia Crafa
Keyword(s):  
True Concurrency

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

Representations of Petri Net Interactions

2010 ◽  
pp. 554-568 ◽  
Author(s):  
Paweł Sobociński
Keyword(s):  
Petri Net

A Theory of Design-by-Contract for Distributed Multiparty Interactions

2010 ◽  
pp. 162-176 ◽  
Author(s):  
Laura Bocchi ◽  
Kohei Honda ◽  
Emilio Tuosto ◽  
Nobuko Yoshida
Keyword(s):  
Design By Contract

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

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

Learning I/O Automata

2010 ◽  
pp. 71-85 ◽  
Author(s):  
Fides Aarts ◽  
Frits Vaandrager
Load More ...
Sign in / Sign up

Export Citation Format

Share Document