Process algebra with local communication

M.J. Weerdenburg, van

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)


    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 languageEnglish
    Title of host publicationProceedings 4th International Workshop on Formal Aspects of Component Software (FACS 2007, Sophia Antipolis, France, September 19-21, 2007)
    EditorsM. Lumpe, E. Madelaine
    Publication statusPublished - 2008

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    ISSN (Print)1571-0061


    Dive into the research topics of 'Process algebra with local communication'. Together they form a unique fingerprint.

    Cite this