Thesis description: Name-passing process calculi: operational models and structural operational semantics.

by Sam Staton

Active Bibliography

4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
2 Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract) – Sam Staton
Ministry of University and Research project SisteR (PRIN 20088HXMYN). – Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci, F. Bonchi, M. G. Buscemi, V. Ciancia, F. Gadducci (b - 2011
8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
Bialgebraic Operational Semantics and Modal Logic (extended abstract) – Bartek Klin
20 A congruence rule format for name-passing process calculi from mathematical structural operational semantics – Marcelo Fiore, Sam Staton - 2006
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
7 General structural operational semantics through categorical logic (Extended Abstract) – Sam Staton - 2008
MFPS 2012 Nominal SOS – Matteo Ciminia, Mohamamdreza Mousavib, Michel A. Reniersc, Murdoch J. Gabbayd
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
1 A Category of Explicit Fusions – Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci - 2008
19 Variable binding operators in transition system specifications – C. A. Middelburg - 2001
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
Presheaf models for the π-calculus – Ian Stark - 1997
13 A unifying model of variables and names – Marino Miculan, Kidane Yemane - 2005
10 About permutation algebras, (pre)sheaves and named sets – Fabio Gadducci, Ugo Montanari - 2006
Substitution in Structural Operational Semantics and value-passing process calculi – Sam Staton
7 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
4 Events, Causality and Symmetry – Glynn Winskel - 2008