Process algebra with local communication

M.J. Weerdenburg, van

doi:10.1016/j.entcs.2008.06.028

Process algebra with local communication

M.J. Weerdenburg, van

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

Abstract

In process algebras like µCRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, including communication within that subcomponent. We define a process algebra with an operator for local communication that facilitates component-based architectures. Besides being compositional, this language is aimed to be a more practical language (with respect to closely related languages) and also allows for straightforward modelling of synchronous as well as asynchronous behaviour.

Original language	English
Title of host publication	Proceedings 4th International Workshop on Formal Aspects of Component Software (FACS 2007, Sophia Antipolis, France, September 19-21, 2007)
Editors	M. Lumpe, E. Madelaine
Pages	191-208
DOIs	https://doi.org/10.1016/j.entcs.2008.06.028
Publication status	Published - 2008

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	215
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2008.06.028

Cite this

Weerdenburg, van, M. J. (2008). Process algebra with local communication. In M. Lumpe, & E. Madelaine (Eds.), Proceedings 4th International Workshop on Formal Aspects of Component Software (FACS 2007, Sophia Antipolis, France, September 19-21, 2007) (pp. 191-208). (Electronic Notes in Theoretical Computer Science; Vol. 215). https://doi.org/10.1016/j.entcs.2008.06.028

@inproceedings{d7e83dd7dd98424bbe58ddc414635a4a,

title = "Process algebra with local communication",

abstract = "In process algebras like µCRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, including communication within that subcomponent. We define a process algebra with an operator for local communication that facilitates component-based architectures. Besides being compositional, this language is aimed to be a more practical language (with respect to closely related languages) and also allows for straightforward modelling of synchronous as well as asynchronous behaviour.",

author = "{Weerdenburg, van}, M.J.",

year = "2008",

doi = "10.1016/j.entcs.2008.06.028",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "191--208",

editor = "M. Lumpe and E. Madelaine",

booktitle = "Proceedings 4th International Workshop on Formal Aspects of Component Software (FACS 2007, Sophia Antipolis, France, September 19-21, 2007)",

}

Process algebra with local communication. / Weerdenburg, van, M.J.
Proceedings 4th International Workshop on Formal Aspects of Component Software (FACS 2007, Sophia Antipolis, France, September 19-21, 2007). ed. / M. Lumpe; E. Madelaine. 2008. p. 191-208 (Electronic Notes in Theoretical Computer Science; Vol. 215).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Process algebra with local communication

AU - Weerdenburg, van, M.J.

PY - 2008

Y1 - 2008

N2 - In process algebras like µCRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, including communication within that subcomponent. We define a process algebra with an operator for local communication that facilitates component-based architectures. Besides being compositional, this language is aimed to be a more practical language (with respect to closely related languages) and also allows for straightforward modelling of synchronous as well as asynchronous behaviour.

AB - In process algebras like µCRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, including communication within that subcomponent. We define a process algebra with an operator for local communication that facilitates component-based architectures. Besides being compositional, this language is aimed to be a more practical language (with respect to closely related languages) and also allows for straightforward modelling of synchronous as well as asynchronous behaviour.

U2 - 10.1016/j.entcs.2008.06.028

DO - 10.1016/j.entcs.2008.06.028

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 191

EP - 208

BT - Proceedings 4th International Workshop on Formal Aspects of Component Software (FACS 2007, Sophia Antipolis, France, September 19-21, 2007)

A2 - Lumpe, M.

A2 - Madelaine, E.

ER -

Process algebra with local communication

Abstract

Publication series

Access to Document

Fingerprint

Cite this