A Calculus of Communicating Systems with Label Passing

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title A Calculus of Communicating Systems with Label Passing
 
Creator Engberg, Uffe
Nielsen, Mogens
 
Description Milner's Calculus of Communicating Systems (CCS) is extended with a mechanism for label passing - as an attempt to remedy some of the shortcomings of CCS w.r.t. dynamic change of agent interconnections. In the extended calculus, restriction is viewed formally as a binder, and the calculus allows dynamic change of scope (of label) in connection with communication. It is proved that algebraic properties of strong (and observational) equivalence for CCS are preserved by the extension. Examples illustrating the expressive power of the calculus and its methods for reasoning are given.
 
Publisher Aarhus University
 
Contributor
 
Date 1986-05-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7559
10.7146/dpb.v15i208.7559
 
Source DAIMI Report Series; No 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing
DAIMI Report Series; No 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7559/6406
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library