CONCUR'93 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540572084, 9783540479680
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two fully abstract models for UNITY

1993 ◽  
pp. 339-352 ◽  
Author(s):  
R. T. Udink ◽  
J. N. Kok

Bisimulation equivalence is decidable for basic parallel processes

1993 ◽  
pp. 143-157 ◽  
Author(s):  
Søren Christensen ◽  
Yoram Hirshfeld ◽  
Faron Moller
Keyword(s):  
Parallel Processes ◽  
Bisimulation Equivalence

scholarly journals Non interleaving process algebra

1993 ◽  
pp. 308-323 ◽  
Author(s):  
J. C. M. Baeten ◽  
J. A. Bergstra
Keyword(s):  
Process Algebra

Local event structures and Petri nets

1993 ◽  
pp. 462-476 ◽  
Author(s):  
P. W. Hoogers ◽  
H. C. M. Kleijn ◽  
P. S. Thiagarajan
Keyword(s):  
Petri Nets ◽  
Event Structures
Load More ...
Sign in / Sign up

Export Citation Format

Share Document