Output details
11 - Computer Science and Informatics
University of Cambridge
Article title
A congruence rule format for name-passing process calculi
Type
D - Journal article
Title of journal
INFORM COMPUT
Article number
-
Volume number
207
Issue number
2
First page of article
209
ISSN of journal
0890-5401
Year of publication
2009
URL
-
Number of additional authors
1
Additional information
<10> Appears in the volume of the top journal Information and Computation for the special issue on Structural Operational Semantics, which according to the editors, R. van Glabbeek and P. D. Mosses,``aimed at documenting state-of-the-art research, new developments, and directions for future investigation in the field of structural operational semantics (SOS)''. The paper introduces a GSOS-like rule format for name-passing process calculi and proves that for operational semantics given in this rule format a form of open bisimilarity is a congruence. It is the first piece of work generalising GSOS from CCS-like languages to pi-calculus-like languages.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Programming, logic and semantics
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
