CONCUR '92 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540558224
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The polyadic π-calculus

2006 ◽  
pp. 1-1 ◽  
Author(s):  
Robin Milner
Keyword(s):  
Π Calculus

Multiway synchronization verified with coupled simulation

2006 ◽  
pp. 518-533 ◽  
Author(s):  
Joachim Parrow ◽  
Peter Sjödin
Keyword(s):  
Coupled Simulation

The silent step in time

2006 ◽  
pp. 421-435 ◽  
Author(s):  
A. S. Klusener

On the semantics of Petri Nets

2006 ◽  
pp. 286-301 ◽  
Author(s):  
José Meseguer ◽  
Ugo Montanari ◽  
Vladimiro Sassone
Keyword(s):  
Petri Nets

At-most-once message delivery A case study in algorithm verification

2006 ◽  
pp. 317-324
Author(s):  
Butler Lampson ◽  
Nancy Lynch ◽  
Jørgen Søgaard-Andersen
Keyword(s):  
Message Delivery ◽  
Algorithm Verification

Minimization of timed transition systems

2006 ◽  
pp. 340-354 ◽  
Author(s):  
R. Alur ◽  
C. Courcoubetis ◽  
N. Halbwachs ◽  
D. Dill ◽  
H. Wong-Toi
Keyword(s):  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document