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

408 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984
3218 Communication and Concurrency – R Milner - 1989
3409 Communicating Sequential Processes – C. A. R. Hoare - 1985
313 Calculi for synchrony and asynchrony – Robin Milner - 1983
146 The NCSU Concurrency Workbench – Rance Cleaveland, Steve Sims - 1996
178 CCS expressions, finite state processes, and three problems of equivalence – P C Kanellakis, S A Smolka - 1990
202 The Concurrency Workbench: A semantics-based tool for the verification of finite-state systems – R Cleaveland, J Parrow, B Steffen - 1993
357 Three partition refinement algorithms – R AND TARJAN PAIGE, R E - 1987
194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
393 An 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
1332 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 specifications – E M Clarke, E A Emerson, A P Sistla
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
7 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