dblp.uni-trier.dewww.uni-trier.de

Sam Staton

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEMarcelo P. Fiore, Sam Staton: A congruence rule format for name-passing process calculi. Inf. Comput. 207(2): 209-236 (2009)
2008
4EESam Staton: General Structural Operational Semantics through Categorical Logic. LICS 2008: 166-177
2006
3EEMarcelo P. Fiore, Sam Staton: A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. LICS 2006: 49-58
2EEMarcelo P. Fiore, Sam Staton: Comparing operational models of name-passing process calculi. Inf. Comput. 204(4): 524-560 (2006)
2004
1EEMarcelo P. Fiore, Sam Staton: Comparing Operational Models of Name-Passing Process Calculi. Electr. Notes Theor. Comput. Sci. 106: 91-104 (2004)

Coauthor Index

1Marcelo P. Fiore [1] [2] [3] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)