Process Algebra with Local Communication | Zendy

Muck van Weerdenburg | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Process Algebra with Local Communication

Author(s) -

Muck van Weerdenburg

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.06.028

Subject(s) - asynchronous communication , process calculus , component (thermodynamics) , process (computing) , computer science , context (archaeology) , operator (biology) , theoretical computer science , programming language , algebra over a field , mathematics , pure mathematics , telecommunications , paleontology , biochemistry , chemistry , physics , repressor , biology , transcription factor , gene , thermodynamics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research