Process Algebra with Local Communication

Weerdenburg, Muck van

doi:10.1016/j.entcs.2008.06.028

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction Of Mcrl21

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For more information on the syntax and semantics of mCRL2 we refer the reader to [6]. Multi-actions in combination with the allow operator were first proposed in [13].…”

Section: Introduction Of Mcrl2mentioning

confidence: 99%

A process algebra with global variables

Bouwman

Luttik

Schols

et al. 2020

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

In standard process algebra, parallel components do not share a common state and communicate through synchronisation. The advantage of this type of communication is that it facilitates compositional reasoning. For modelling and analysing systems in which parallel components operate on shared memory, however, the communication-through-synchronisation paradigm is sometimes less convenient. In this paper we study a process algebra with a notion of global variable. We also propose an extension of Hennessy-Milner logic with predicates to test and set the values of the global variables, and prove correspondence results between validity of formulas in the extended logic and stateless bisimilarity and between validity of formulas in the extended logic without the set operator and state-based bisimilarity. We shall also present a translation from the process algebra with global variables to a fragment of mCRL2 that preserves the validity of formulas in the extended Hennessy-Milner logic.

show abstract

“…For more information on the syntax and semantics of mCRL2 we refer the reader to [6]. Multi-actions in combination with the allow operator were first proposed in [13].…”

Section: Introduction Of Mcrl2mentioning

confidence: 99%