Modal logics for mobile processes (Q685408): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Q3997501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic laws for nondeterminism and concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3777424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3992568 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of mobile processes. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the termination of program schemas / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(93)90156-n / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2106102830 / rank | |||
Normal rank |
Latest revision as of 12:17, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modal logics for mobile processes |
scientific article |
Statements
Modal logics for mobile processes (English)
0 references
13 January 1994
0 references
In process algebras, bisimulation equivalence is typically defined directly in terms of the operational rules of action; it also has an alternative characterization in terms of a simple modal logic (sometimes called Hennessy-Milner logic). The paper first defines two forms of bisimulation equivalence for the \(\pi\)-calculus, a process algebra which allows dynamic reconfiguration among processes; it then explores a family of possible logics, with different modal operators. It is proven that two of these logics characterize the two bisimulation equivalences. Also, the relative expressive power of all the logics is exhibited as a lattice. The results are applicable to most value-passing process algebras.
0 references
mobile process
0 references
Pi calculus
0 references
bisimulation
0 references
process algebra
0 references