@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)",
}