|
|
Structured Operational Semantics and . . .
– Jan Frisco Groote, et al.
- 1992
|
|
15
|
Precongruence Formats for Decorated Trace Semantics
– Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
|
|
5
|
Compositionality of Hennessy-Milner logic by structural operational semantics
– Wan Fokkink , Rob van Glabbeek , Paulien de Wind
- 2006
|
|
4
|
Modal Observation Equivalence of Processes
– W. P. R. Mitchell, D. P. Carlisle
- 1995
|
|
2
|
Ordered SOS Process Languages for Branching and Eager Bisimulations
– Irek Ulidowski, Iain Phillips
- 2002
|
|
259
|
The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves
– R.J. van Glabbeek
- 1993
|
|
9
|
A Formal Verification Environment for Railway Signaling System Design
– Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Dario Romano
- 1998
|
|
2
|
Tools for a Calculus of Broadcasting Systems
– Jenny Petersson
- 1993
|
|
2
|
On the Operational Semantics of Nondeterminism and Divergence
– Hakan Erdogmus, Robert Johnston, Michael Ferguson
- 1995
|
|
103
|
A Congruence Theorem for Structured Operational Semantics With Predicates
– J.C.M. Baeten, C. Verhoef
- 1993
|
|
50
|
Specification Styles in Distributed Systems Design and Verification," in "Theoretical Computer Science '89", North-Holland
– Chris A. Vissers, Marten Van Sinderen
- 1991
|
|
144
|
Reactive, Generative and Stratified Models of Probabilistic Processes
– Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen
- 1990
|
|
36
|
A general conservative extension theorem in process algebra
– Pedro R. D’Argenio, Chris Verhoef
- 1994
|
|
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
|
|
80
|
Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract)
– Glenn Bruns, Patrice Godefroid
- 1999
|
|
6
|
Metric semantics for reactive probabilistic processes
– Gethin Josiah Norman
- 1997
|
|
2
|
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality
– A. Fantechi, S. Gnesi, L. Semini
- 1999
|
|
2
|
Verification of LOTOS Specifications using Term Rewriting Techniques
– Carron Elizabeth Kirkwood
- 1994
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
