- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 7 |      | Sam Staton: Relating Coalgebraic Notions of Bisimulation. CALCO 2009: 191-205 |
| 6 | | Sam Staton: Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. Electr. Notes Theor. Comput. Sci. 249: 471-490 (2009) |
| 5 | | Marcelo P. Fiore, Sam Staton: A congruence rule format for name-passing process calculi. Inf. Comput. 207(2): 209-236 (2009) |
| 2008 | ||
| 4 | | Sam Staton: General Structural Operational Semantics through Categorical Logic. LICS 2008: 166-177 |
| 2006 | ||
| 3 | | Marcelo P. Fiore, Sam Staton: A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. LICS 2006: 49-58 |
| 2 | | Marcelo P. Fiore, Sam Staton: Comparing operational models of name-passing process calculi. Inf. Comput. 204(4): 524-560 (2006) |
| 2004 | ||
| 1 | | Marcelo P. Fiore, Sam Staton: Comparing Operational Models of Name-Passing Process Calculi. Electr. Notes Theor. Comput. Sci. 106: 91-104 (2004) |
| 1 | Marcelo P. Fiore | [1] [2] [3] [5] |