Concurrent bisimulations in Petri nets

Sequential and concurrent behaviour in Petri net theory

Eike Best, Raymond Devillers · Theoretical Computer Science · 1987 · 261 citations

Computing, Computer Science, Computer Systems +8

A distributed operational semantics for CCS based on condition/event systems

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari · Acta Informatica · 1988 · 161 citations

Computing, Computer Engineering, Computer Science +9

Behavior Structures and Nets

Alexander Rabinovich, B. A. Trakhtenbrot · Fundamenta Informaticae · 1988 · 134 citations

Computing, Computer Science, Systems Modeling +7

Formal semantics of a class of high-level primitives for coordinating concurrent processes

P. E. Lauer, Roy H. Campbell · Acta Informatica · 1975 · 105 citations

Computing, Computer Engineering, Computer Science +16

Bisimulation and action refinement

Walter Vogler · Theoretical Computer Science · 1993 · 84 citations

Computing, Mathematics, Formal Methods +7