A timed model for communicating sequential processes (Q1109561): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:14, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A timed model for communicating sequential processes |
scientific article |
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
