Testing Equivalence as a Bisimulation Equivalence (1993)

Cached

Download Links

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

Active Bibliography

102 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
58 Fair testing – Arend Rensink, Walter Vogler - 1995
56 Weak Bisimulation for Fully Probabilistic Processes – Christel Baier, Holger Hermanns - 1999
6 On Automatically Explaining Bisimulation Inequivalence – Rance Cleaveland - 1990
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
Axiomatizing Weak Simulation Semantics over BCCSP ⋆ – Luca Aceto, David De Frutos Escrig, Anna Ingolfsdottir
25 Undecidable Equivalences for Basic Parallel Processes – Hans Hüttel - 1993
94 The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes – R.J. van Glabbeek
6 Categorical Models for Concurrency: Independence, Fairness and Dataflow – Thomas Troels Hildebrandt - 2000
36 VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems – Duncan Clarke, Insup Lee, Hong-liang Xie - 1995
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
14 Controlling State Explosion in Reachability Analysis – Wei Jen Yeh - 1993
11 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi
25 Deciding Bisimilarity and Similarity for Probabilistic Processes – Christel Baier, Bettina Engelen, Mila Majster-Cederbaum - 2000
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
262 Relations in Concurrency – Glynn Winskel
12 A semantics-based verification tool for finite-state systems – Rance Cleaveland, Joachim Parrow, Bernhard Steffen - 1990
2 Merging Behavior Specifications – Ferhat Khendek, Gregor V. Bochmann - 1995
12 An Algebraic Theory of Process Efficiency – V. Natarajan, Rance Cleaveland - 1996