Comparing Operational Models of Name-Passing Process Calculi - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Marcelo P. Fiore, Sam Staton. Comparing Operational Models of Name-Passing Process Calculi. Electronic Notes in Theoretical Computer Science, 106:91-104, 2004. [doi]

The following publications are possibly variants of this publication:

Comparing operational models of name-passing process calculiMarcelo P. Fiore, Sam Staton. iandc, 204(4):524-560, 2006. [doi]

Name-passing process calculi : operational models and structural operational semanticsSamuel Staton. PhD thesis, University of Cambridge, UK, 2007. [doi]

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational SemanticsMarcelo P. Fiore, Sam Staton. lics 2006: 49-58 [doi]

A congruence rule format for name-passing process calculiMarcelo P. Fiore, Sam Staton. iandc, 207(2):209-236, 2009. [doi]

runs on WebDSL