Title :
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
Author :
Fiore, Marcelo ; Staton, Sam
Author_Institution :
Comput. Lab., Cambridge Univ.
Abstract :
We introduce a mathematical structural operational semantics that yields a congruence result for bisimilarity and is suitable for investigating rule formats for name-passing systems. 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
Keywords :
bisimulation equivalence; category theory; process algebra; set theory; GSOS-like rule format; abstract model theory; behavioural equivalence; category theory; congruence rule format; mathematical structural operational semantics; name-passing process calculi; nominal sets; open bisimilarity; Calculus; Computer science; Equations; Laboratories; Logic; Merging; Power generation; Veins;
Conference_Titel :
Logic in Computer Science, 2006 21st Annual IEEE Symposium on
Conference_Location :
Seattle, WA
Print_ISBN :
0-7695-2631-4
DOI :
10.1109/LICS.2006.7
