Testing Equivalence as a Bisimulation Equivalence (1993)

Cached

Download Links

by Rance Cleaveland , Matthew Hennessy
Venue:Formal Aspects of Computing
Citations:65 - 11 self

Active Bibliography

103 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
102 The concurrency workbench: A semantics based tool for the verification of concurrent systems – Rance Cleaveland, Joachim Parrow, Bernhard Steffen - 1991
58 Fair testing – Arend Rensink, Walter Vogler - 1995
57 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
34 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
25 Deciding Bisimilarity and Similarity for Probabilistic Processes – Christel Baier, Bettina Engelen, Mila Majster-Cederbaum - 2000
12 Branching vs. linear time – semantical perspective – Sumit Nain, Moshe Y. Vardi
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
263 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