A state-based approach to communicating processes (Q1112600)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A state-based approach to communicating processes |
scientific article |
Statements
A state-based approach to communicating processes (English)
0 references
1988
0 references
Communicating processes, which may exhibit nondeterministic behaviour, are specified as state-transition systems. Equivalence and refinement relations are defined in terms of the failures model of processes. Downward and upward simulation are considered as proof methods for refinement. Various operators on processes are defined and their refinement rules established.
0 references
Communicating processes
0 references
state-transition systems
0 references
refinement
0 references
failures model
0 references
simulation
0 references
