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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540373766, 9783540373773
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Interleaving in Timed Automata

2006 ◽  
pp. 465-476 ◽  
Author(s):  
Ramzi Ben Salah ◽  
Marius Bozga ◽  
Oded Maler
Keyword(s):  
Timed Automata

scholarly journals Controller Synthesis for MTL Specifications

2006 ◽  
pp. 450-464 ◽  
Author(s):  
Patricia Bouyer ◽  
Laura Bozzelli ◽  
Fabrice Chevalier
Keyword(s):  
Controller Synthesis

Event Structure Semantics for Nominal Calculi

2006 ◽  
pp. 295-309 ◽  
Author(s):  
Roberto Bruni ◽  
Hernán Melgratti ◽  
Ugo Montanari
Keyword(s):  
Event Structure
Load More ...
Sign in / Sign up

Export Citation Format

Share Document