Fair testing (1995)

by Arend Rensink , Walter Vogler
Venue:Concur ’95: Concurrency Theory, volume 962 of Lecture Notes in Computer Science
Citations:58 - 0 self

Active Bibliography

VALIDE -- Formal Methods and Tools for Distributed System Design – Formal Methods and Tools Research Groups, Department Of Tele-informatics, Open Systems - 1994
2 On the Operational Semantics of Nondeterminism and Divergence – Hakan Erdogmus, Robert Johnston, Michael Ferguson - 1995
Conformance Testing With State Mapping – Vadim Mutilin
103 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
2 Verification of LOTOS Specifications using Term Rewriting Techniques – Carron Elizabeth Kirkwood - 1994
8 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000
290 The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves – R.J. van Glabbeek - 1993
1 Formal Verification Based on Relation Checking in SPIN: A Case Study – Hakan Erdogmus, Hakan Erdogmus, Robert Johnston, Robert Johnston, Charles Cleary, Charles Cleary - 1995
6 Applications of Fair Testing – E. Brinksma, A. Rensink, W. Vogler - 1996
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
7 Comparing Refinements for Failure and Bisimulation Semantics – Rik Eshuis, Maarten M. Fokkinga - 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
67 On Asynchronous Communication Semantics – Kohei Honda, Mario Tokoro - 1992
4 Ordered SOS Rules and Weak Bisimulation – Iain Phillips, Irek Ulidowski - 1996
37 Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs – Bengt Jonsson, Joachim Parrow - 1991
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
6 Synthesising Labelled Transitions and Operational Congruences in Reactive Systems, Part 1 – James J. Leifer - 2002
34 Operational congruences for reactive systems – James Judi Leifer - 2001