Testing Equivalence as a Bisimulation Equivalence (1993)

Cached

Download Links

by Rance Cleaveland , Matthew Hennessy
Venue:Formal Aspects of Computing
Citations:64 - 10 self

Documents Related by Co-Citation

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 semantics-based 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 Time-Branching 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 fixed-point 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 Logic-Based Proof Technique for Partial Specifications – R Cleaveland, B Steffen - 1990
91 Tableau-Based Model Checking in the Propositional Mu-Calculus – 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