Process Algebra with Local Communication

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.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Muck van Weerdenburg
• Keywords: Communication, Component-based Architectures, ENTCS 2008, Process Algebra