|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
183
|
Structured operational semantics and bisimulation as a congruence
– J F Groote, F W Vaandrager
- 1992
|
|
42
|
Structural operational semantics for weak bisimulations
– B Bloom
- 1993
|
|
169
|
Bisimulation Can’t Be Traced
– B Bloom, S Istrael, A Meyer
- 1995
|
|
448
|
Algebraic laws for nondeterminism and concurrency
– Matthew Hennessy, Robin Milner
- 1985
|
|
107
|
Transition System Specification with Negative Premises
– J F Groote
- 1990
|
|
70
|
Compositionality through an operational semantics of contexts
– K G Larsen, L Xinxin
- 1991
|
|
54
|
Ntyft/ntyxt rules reduce to ntree rules
– Wan Fokkink, Rob Van Glabbeek
- 1996
|
|
35
|
The meaning of negative premises in transition system specifications II
– R.J. van Glabbeek
- 2004
|
|
2970
|
Communication and Concurrency
– R Milner
- 1989
|
|
20
|
Equivalences on Observable Processes
– Irek Ulidowski
- 1992
|
|
69
|
The Meaning of Negative Premises in Transition System Specifications
– R N Bol, J F Groote
- 1996
|
|
331
|
Process algebra for synchronous communication
– J. A. Bergstra, J. W. Klop
- 1984
|
|
223
|
Branching Time and Abstraction in Bisimulation Semantics
– Rob J. Van Glabbeek, W. Peter Weijland
- 1996
|
|
58
|
Higher-level synchronising devices in Meije–SCCS. Theoretical Computer Science 37(3), pp. 245–267. A Modal Characterisation of η-Bisimulation We prove the first part of Thm. 2.5, which states that η is a modal characterisation of η-bisimulation equivalenc
– Robert De Simone, Communicated M. Nivat
- 1985
|
|
318
|
Representation of events in nerve nets and finite automata
– S C Kleene
- 1956
|
|
15
|
Precongruence Formats for Decorated Trace Semantics
– Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
|
|
259
|
The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves
– R.J. van Glabbeek
- 1993
|
|
77
|
Turning SOS Rules into Equations
– Luca Aceto, Bard Bloom, Frits Vaandrager
- 1994
|
