A timed model for communicating sequential processes (Q1109561)
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 timed model for communicating sequential processes |
scientific article; zbMATH DE number 4070297
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A timed model for communicating sequential processes |
scientific article; zbMATH DE number 4070297 |
Statements
A timed model for communicating sequential processes (English)
0 references
1988
0 references
CSP, a tool for structuring and analyzing distributed computing, is shortly presented from its first version as a real-time model changing to a timed model via the description of the so-called timed stability model based on topological domains. Timing postulates are discussed and it is argued that the timed CSP model is fairly compatible with the untimed model. It differs, however, from those which are relevant for divergence.
0 references
communicating sequential processes
0 references
semantics specification
0 references
verification
0 references
deadlock
0 references
topological domains
0 references
divergence
0 references
0 references
