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

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540853602, 9783540853619
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning

2008 ◽  
pp. 162-166 ◽  
Author(s):  
Benedikt Bollig ◽  
Joost-Pieter Katoen ◽  
Carsten Kern ◽  
Martin Leucker
Keyword(s):  
Distributed Models

scholarly journals Quasi-Static Scheduling of Communicating Tasks

2008 ◽  
pp. 310-324 ◽  
Author(s):  
Philippe Darondeau ◽  
Blaise Genest ◽  
P. S. Thiagarajan ◽  
Shaofa Yang
Keyword(s):  
Static Scheduling

scholarly journals Distributed Timed Automata with Independently Evolving Clocks

2008 ◽  
pp. 82-97 ◽  
Author(s):  
S. Akshay ◽  
Benedikt Bollig ◽  
Paul Gastin ◽  
Madhavan Mukund ◽  
K. Narayan Kumar
Keyword(s):  
Timed Automata

A Rule Format for Associativity

2008 ◽  
pp. 447-461 ◽  
Author(s):  
Sjoerd Cranen ◽  
MohammadReza Mousavi ◽  
Michel A. Reniers
Load More ...
Sign in / Sign up

Export Citation Format

Share Document