99
Voted
CONCUR
15 years 4 months ago
1995 Springer 
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
88
Voted
CONCUR
15 years 4 months ago
1995 Springer 85
Voted
CONCUR
15 years 4 months ago
1995 Springer 81
Voted
CONCUR
15 years 4 months ago
1995 Springer
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
|
Distributed and Parallel Computing