A state-based approach to communicating processes (Q1112600)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A state-based approach to communicating processes |
scientific article; zbMATH DE number 4078785
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A state-based approach to communicating processes |
scientific article; zbMATH DE number 4078785 |
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
0.8610959
0 references
0.8580233
0 references
0.8541268
0 references
0 references
