| |
| 2009 | ||
|---|---|---|
| 5 | EE | Marcelo P. Fiore, Sam Staton: A congruence rule format for name-passing process calculi. Inf. Comput. 207(2): 209-236 (2009) |
| 2008 | ||
| 4 | EE | Sam Staton: General Structural Operational Semantics through Categorical Logic. LICS 2008: 166-177 |
| 2006 | ||
| 3 | EE | Marcelo P. Fiore, Sam Staton: A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. LICS 2006: 49-58 |
| 2 | EE | Marcelo P. Fiore, Sam Staton: Comparing operational models of name-passing process calculi. Inf. Comput. 204(4): 524-560 (2006) |
| 2004 | ||
| 1 | EE | 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] |