An Action Structure for Synchronous pi-Calculus

Robin Milner

doi:10.1007/3-540-57163-9_6

An Action Structure for Synchronous pi-Calculus

Robin Milner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

After a review of relevant notions, an action structure is presented for the π calculus. This yields a version of π-calculus which is synchronous in the sense of MEIJE or SCCS, i.e. an arbitrary amount of computation may take place in a single transition. The main new technical result is the construction of an incident set for the action structure, which guarantees a congruential strong bisimilarity for the calculus. The incident set is characterized using a new form of graphical representation for actions.

Original language	English
Title of host publication	Fundamentals of Computation Theory
Subtitle of host publication	9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
Pages	87-105
Number of pages	19
Volume	710
ISBN (Electronic)	978-3-540-47923-9
DOIs	https://doi.org/10.1007/3-540-57163-9_6
Publication status	Published - 1993

Access to Document

10.1007/3-540-57163-9_6

http://link.springer.com/chapter/10.1007%2F3-540-57163-9_6

Cite this

@inproceedings{08ec8fec857b44afb2b44d9df8b88eff,

title = "An Action Structure for Synchronous pi-Calculus",

abstract = "After a review of relevant notions, an action structure is presented for the π calculus. This yields a version of π-calculus which is synchronous in the sense of MEIJE or SCCS, i.e. an arbitrary amount of computation may take place in a single transition. The main new technical result is the construction of an incident set for the action structure, which guarantees a congruential strong bisimilarity for the calculus. The incident set is characterized using a new form of graphical representation for actions.",

author = "Robin Milner",

year = "1993",

doi = "10.1007/3-540-57163-9\_6",

language = "English",

isbn = "978-3-540-57163-6",

volume = "710",

pages = "87--105",

booktitle = "Fundamentals of Computation Theory",

}

TY - GEN

T1 - An Action Structure for Synchronous pi-Calculus

AU - Milner, Robin

PY - 1993

Y1 - 1993

N2 - After a review of relevant notions, an action structure is presented for the π calculus. This yields a version of π-calculus which is synchronous in the sense of MEIJE or SCCS, i.e. an arbitrary amount of computation may take place in a single transition. The main new technical result is the construction of an incident set for the action structure, which guarantees a congruential strong bisimilarity for the calculus. The incident set is characterized using a new form of graphical representation for actions.

AB - After a review of relevant notions, an action structure is presented for the π calculus. This yields a version of π-calculus which is synchronous in the sense of MEIJE or SCCS, i.e. an arbitrary amount of computation may take place in a single transition. The main new technical result is the construction of an incident set for the action structure, which guarantees a congruential strong bisimilarity for the calculus. The incident set is characterized using a new form of graphical representation for actions.

U2 - 10.1007/3-540-57163-9_6

DO - 10.1007/3-540-57163-9_6

M3 - Conference contribution

SN - 978-3-540-57163-6

VL - 710

SP - 87

EP - 105

BT - Fundamentals of Computation Theory

ER -

An Action Structure for Synchronous pi-Calculus

Abstract

Access to Document

Fingerprint

Cite this