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

by Sam Staton
Citations:7 - 6 self

Documents Related by Co-Citation

194 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
20 A congruence rule format for name-passing process calculi from mathematical structural operational semantics – Marcelo Fiore, Sam Staton - 2006
121 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
3218 Communication and Concurrency – R Milner - 1989
24 Comparing operational models of name-passing process calculi – M Fiore, S Staton
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
2 Proving Properties of Lists using Containers – R Prince, N Ghani, C McBride - 2008
7 for data: derivatives of data structures – Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
40 Categories of Containers – Michael Abbott, Thorsten Altenkirch, Neil Ghani - 2003
63 Containers: Constructing strictly positive types – M Abbott, T Altenkirch, N Ghani - 2005
159 An intuitionistic theory of types: predicative part. Logic Colloquium – P Martin-Löf - 1973
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
2 Semantics of name and value passing (extended abstract – M P Fiore, D Turi - 2001
39 A Theory of Bisimulation for the pi-calculus – Davide Sangiorgi - 1993
208 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
996 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
162 A final coalgebra theorem – P Aczel, P F Mendler - 1989
47 Semantics of Name and Value Passing – Marcelo Fiore, Daniele Turi - 2001