Sciweavers

LICS
2006
IEEE

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics

14 years 4 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence result for bisimilarity and is suitable for investigating rule formats for name-passing Indeed, we instantiate this general abstract model theory in a framework of nominal sets and extract from it a GSOS-like rule format for name-passing process calculi for which the associated notion of behavioural equivalence — given by a form of open bisimilarity — is a congruence.
Marcelo P. Fiore, Sam Staton
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where LICS
Authors Marcelo P. Fiore, Sam Staton
Comments (0)