Semantics of name and value passing

Author

Firore, M. ; Turi, Daniele

Author_Institution

Comput. Lab., Cambridge Univ., UK

fYear

2001

fDate

2001

Firstpage

93

Lastpage

104

Abstract

Provides a semantic framework for (first-order) message-passing process calculi by combining categorical theories of abstract syntax with binding and operational semantics. In particular, we obtain abstract rule formats for name and value passing with both late and early interpretations. These formats induce an initial-algebra/final-coalgebra semantics that is compositional, respects substitution and is fully abstract for late and early congruence. We exemplify the theory with the π-calculus and value-passing CCS (calculus of communicating systems)

Keywords

calculus of communicating systems; category theory; message passing; pi calculus; programming language semantics; π-calculus; 1st-order message-passing process calculi; abstract rule formats; abstract syntax; binding; calculus of communicating systems; categorical theories; compositional semantics; early congruence; initial-algebra/final-coalgebra semantics; late congruence; name passing; operational semantics; substitution; value passing; value-passing CCS; Carbon capture and storage; Concrete; Concurrent computing; Informatics; Laboratories; Message passing;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 2001. Proceedings. 16th Annual IEEE Symposium on

Conference_Location

Boston, MA

ISSN

1043-6871

Print_ISBN

0-7695-1281-X

Type

conf

DOI

10.1109/LICS.2001.932486

Filename

932486