Lecture Notes in Computer Science - CONCUR 2012 – Concurrency Theory
Latest Publications

TOTAL DOCUMENTS

40
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642329395, 9783642329401
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Comparison of Succinctly Represented Finite-State Systems

2012 ◽  
pp. 147-161 ◽  
Author(s):  
Romain Brenguier ◽  
Stefan Göller ◽  
Ocan Sankur
Keyword(s):  
Finite State

scholarly journals Concurrent Games on VASS with Inhibition

2012 ◽  
pp. 39-52 ◽  
Author(s):  
Béatrice Bérard ◽  
Serge Haddad ◽  
Mathieu Sassolas ◽  
Nathalie Sznajder

Fluid Model Checking

2012 ◽  
pp. 333-347 ◽  
Author(s):  
Luca Bortolussi ◽  
Jane Hillston
Keyword(s):  
Model Checking ◽  
Fluid Model

scholarly journals Decidability Problems for Actor Systems

2012 ◽  
pp. 562-577 ◽  
Author(s):  
Frank S. de Boer ◽  
Mahdi M. Jaghoori ◽  
Cosimo Laneve ◽  
Gianluigi Zavattaro

scholarly journals Strategy Synthesis for Multi-Dimensional Quantitative Objectives

2012 ◽  
pp. 115-131 ◽  
Author(s):  
Krishnendu Chatterjee ◽  
Mickael Randour ◽  
Jean-François Raskin
Load More ...
Sign in / Sign up

Export Citation Format

Share Document