|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
20
|
Domain theory for concurrency
– Mikkel Nygaard
- 2003
|
|
8
|
Syntactic formats for free: An abstract approach to process equivalence
– Bartek Klin
- 2003
|
|
4
|
Bialgebraic Methods and Modal Logic in Structural Operational Semantics
– Bartek Klin
- 2007
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
33
|
A Presheaf Semantics of Value-Passing Processes
– Glynn Winskel, Glynn Winskel
- 1996
|
|
2
|
Structural operational semantics and bounded nondeterminism
– Wan Fokkink, Thuy Duong Vu
- 2003
|
|
18
|
Compositional SOS and beyond: a coalgebraic view of open systems
– Andrea Corradini , Reiko Heckel , Ugo Montanari
- 2002
|
|
19
|
Variable binding operators in transition system specifications
– C. A. Middelburg
- 2001
|
|
110
|
Deriving Bisimulation Congruences for Reactive Systems
– James J. Leifer, Robin Milner
- 2000
|
|
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
|
|
1
|
Structural congruences and structural operational semantics
– Mohammadreza Mousavi, Michel Reniers
- 2004
|
|
29
|
A Conservative Look at Operational Semantics with Variable Binding
– Wan Fokkink, Chris Verhoef
- 1998
|
|
10
|
A conservative look at term deduction systems with variable binding. Logic group preprint series 140
– Wan Fokkink, Chris Verhoef
- 1995
|
|
22
|
Models for Name-Passing Processes: Interleaving and Causal
– Gian Luca Cattani, Peter Sewell
- 2000
|
|
1
|
A Category of Explicit Fusions
– Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
- 2008
|
|
4
|
Tile Transition Systems as Structured Coalgebras
– Andrea Corradini, Reiko Heckel, Ugo Montanari
- 1999
|
|
|
Towards a Categorical Axiomatics of Bisimulation
– Gian Luca Cattani, A. John Power, Glynn Winskel
- 1999
|
