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

On the reduction of chocs bisimulation to π-calculus bisimulation

1993 ◽  
pp. 112-126 ◽  
Author(s):  
Roberto M. Amadio
Keyword(s):  
Π Calculus

Two fully abstract models for UNITY

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

Refinement and decomposition of value-passing action systems

1993 ◽  
pp. 217-232 ◽  
Author(s):  
Michael J. Butler
Keyword(s):  
Action Systems

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

A linear local model checking algorithm for CTL

1993 ◽  
pp. 447-461 ◽  
Author(s):  
Bart Vergauwen ◽  
Johan Lewi
Keyword(s):  
Model Checking ◽  
Local Model ◽  
Local Model Checking

scholarly journals Non interleaving process algebra

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

Domains of higher-dimensional automata

1993 ◽  
pp. 293-307 ◽  
Author(s):  
Eric Goubault
Keyword(s):  
Higher Dimensional

A practical technique for process abstraction

1993 ◽  
pp. 37-49 ◽  
Author(s):  
Glenn Bruns

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