A congruence rule format for name-passing process calculi

https://doi.org/10.1016/j.ic.2007.12.005Get rights and content
Under an Elsevier user license
open archive

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.

Cited by (0)

1

Research partially supported by an EPSRC Advanced Research Fellowship.

2

Research partially supported by EPSRC Grant GR/T22049/01.