409

Testing Equivalences for Processes
– R. De Nicola, M. C. B. Hennessy
 1984

3219

Communication and Concurrency
– R Milner
 1990

3407

Communicating Sequential Processes
– C. A. R. Hoare
 2004

312

Calculi for synchrony and asynchrony
– R Milner
 1983

147

The NCSU Concurrency Workbench
– Rance Cleaveland, Steve Sims
 1996

179

CCS expressions, finite state processes, and three problems of equivalence
– Paris C Kanellakis, Scott A Smolka
 1990

357

Three partition refinement algorithms
– R Paige, R E Tarjan
 1987

203

The concurrency workbench: A semanticsbased tool for the verification of concurrent systems
– R Cleaveland, J Parrow, B U Steffen
 1993

196

Bisimulation can’t be traced
– B Bloom, S Istrail, A R Meyer
 1995

394

Algebraic Theory of Processes
– M Hennessy
 1988

405

Bisimulation through probabilistic testing
– Kim G. Larsen, Arne Skou
 1989

290

The Linear TimeBranching Time Spectrum II  The semantics of sequential systems with silent moves
– R.J. van Glabbeek
 1993

1330

A Calculus of Communicating Systems
– R Milner
 1980

29

P.: A linear algorithm to solve fixedpoint equations on transition systems
– A Arnold, Crubillé

271

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic
– E M Clarke, E A Emerson, A P Sistla
 1986

3

When is `Partial' Adequate? A LogicBased Proof Technique for Partial Specifications
– R Cleaveland, B Steffen
 1990

91

TableauBased Model Checking in the Propositional MuCalculus
– Rance Cleaveland
 1990

8

Experiment with Auto and Autograph on a Simple Case Sliding Window Protocol
– G Boudol, R de Simone, D Vergamini
 1988

27

Process calculi, from theory to practice: Verification tools
– Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini
 1989
