The equivalence in the DCP model (Q1177152)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 20010
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The equivalence in the DCP model |
scientific article; zbMATH DE number 20010 |
Statements
The equivalence in the DCP model (English)
0 references
26 June 1992
0 references
The importance of equivalence relation (on processes) defined in algebraic theories of processes (like CCS, CSP, DCP, etc.) is well known. This paper deals with the equivalence relation in the DCP model. After a brief overview of some equivalences on labelled transitions systems and the relations between them, the authors, in order to find the place of the Johnston's equivalence (in DCP) in the chain of existing equivalences, defines a new partial order between processes which induces a new equivalence relation. It is proved that this new relation is finer than the original one and in fact is the bisimulation relation of Park.
0 references
equivalence on processes
0 references
deadlock in DCP
0 references
algebraic theories of processes
0 references
CCS
0 references
CSP
0 references
DCP
0 references
labelled transitions systems
0 references
partial order
0 references
0.7494630217552185
0 references
0.723875105381012
0 references
0.7230284810066223
0 references
0.7055703997612
0 references
