|
|
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
|
|
94
|
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
|
|
7
|
Finite axiom systems for testing preorder and De Simone Process Languages
– Irek Ulidowski
- 2000
|
|
259
|
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
|
|
5
|
Comparing Refinements for Failure and Bisimulation Semantics
– Rik Eshuis, Maarten M. Fokkinga
- 2000
|
|
15
|
Precongruence Formats for Decorated Trace Semantics
– Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
|
|
7
|
Branching vs. linear time – semantical perspective
– Sumit Nain, Moshe Y. Vardi
|
|
65
|
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
|
|
31
|
Operational congruences for reactive systems
– James Judi Leifer
- 2001
|
|
11
|
Combinators and Bisimulation Proofs for Restartable Systems
– K. V. S. Prasad
- 1991
|
