General structural operational semantics through categorical logic (Extended Abstract) (2008)

by Sam Staton
Citations:7 - 6 self

Active Bibliography

45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
23 Domain theory for concurrency – Mikkel Nygaard - 2003
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003
2 Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract) – Sam Staton
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
12 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
4 Structural operational semantics and bounded nondeterminism – Wan Fokkink, Thuy Duong Vu - 2003
19 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
116 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
34 Operational congruences for reactive systems – James Judi Leifer - 2001
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
Structural Operational Semantics for Stochastic and Weighted Transition Systems – Bartek Klin, Vladimiro Sassone
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
Auxiliary material for POPL 2013 submission, for peer review only Sorted Psi-calculi with Generalised Pattern Matching with – Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor Johannes ˚aman Pohjola