Axiomatizing Prefix Iteration with Silent Steps

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

Computing, Computer Science, Computer Systems +15

Formal verification of parallel programs

Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text

Computing, Computer Science, Formal Methods +16

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

A complete axiomatisation for observational congruence of finite-state behaviours

Robin Milner · Information and Computation · 1989 · 154 citations · Full text

Computing, Computer Science, Mathematics +14

On the consistency of Koomen's Fair Abstraction Rule

J. C. M. Baeten, J.A. Bergstra, Jan Willem Klop · Theoretical Computer Science · 1987 · 145 citations · Full text

Computing, Computer Science, Formal Methods +2