Ordered SOS Process Languages for Branching and Eager Bisimulations

LCF considered as a programming language

Gordon Plotkin · Theoretical Computer Science · 1977 · 1.1K citations

Computing, Computer Science, Programming Languages +4

Process algebra for synchronous communication

J.A. Bergstra, Jan Willem Klop · Information and Control · 1984 · 880 citations · Full text

Computing, Computer Science, Digital Communication +6

Branching time and abstraction in bisimulation semantics

Rob J. van Glabbeek, W. P. Weijland · Journal of the ACM · 1996 · 737 citations · Full text

Computing, Computer Science, Formal Methods +12

Bisimulation can't be traced

Bard Bloom, Sorin Istrail, Albert R. Meyer · Journal of the ACM · 1995 · 384 citations · Full text

Computing, Computer Science, Algorithms +13

Towards a mathematical operational semantics

Daniele Turi, Gordon Plotkin · 2002 · 369 citations · Full text

Computing, Computer Science, Mathematics +16