A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
| Autor: | Sam Staton, Marcelo Fiore |
|---|---|
| Rok vydání: | 2006 |
| Předmět: |
Programming language
Process calculus Bisimulation equivalence computer.software_genre Operational semantics TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science Computer Science::Programming Languages Equivalence (formal languages) Category theory computer Algorithm Mathematics Abstract model theory |
| Zdroj: | LICS |
| DOI: | 10.1109/lics.2006.7 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|