Testing Equivalence as a Bisimulation Equivalence (1993)

Cached

Download Links

by Rance Cleaveland , Matthew Hennessy
Venue:Formal Aspects of Computing
Citations:65 - 11 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
147 The NCSU Concurrency Workbench – Rance Cleaveland, Steve Sims - 1996
312 Calculi for synchrony and asynchrony – R Milner - 1983
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
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
394 Algebraic Theory of Processes – M Hennessy - 1988
203 The concurrency workbench: A semantics-based tool for the verification of concurrent systems – R Cleaveland, J Parrow, B U Steffen - 1993
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
271 Automatic Verification of Finite State Concurrent Systems Using Temporal Logic – E M Clarke, E A Emerson, A P Sistla - 1986
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
15 A Tool for Hierarchical Design and Simulation of Concurrent Systems – J Malhotra, S A Smolka, A Giacalone, R Shapiro - 1988
109 A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus – Rance Cleaveland, Bernhard Steffen - 1993
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 Verification in Xesar of the sliding window protocol – J L Richier, C Rodriguez, J Sifakis, J Voiron - 1987