A congruence rule format for name-passing process calculi |
| |
| Authors: | Marcelo Fiore Sam Staton |
| |
| Affiliation: | 1. National ICT Australia, The University of New South Wales, Sydney, Australia;2. Swansea University, Swansea, United Kingdom |
| |
| Abstract: | We introduce a GSOS-like rule format for name-passing process calculi. Specifications in this format correspond to theories in nominal logic. The intended models of such specifications arise by initiality from a general categorical model theory. For operational semantics given in this rule format, a natural behavioural equivalence—a form of open bisimilarity—is a congruence. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
