A timed model for communicating sequential processes (Q1109561): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0304-3975(88)90030-8 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2126860147 / rank | |||
Normal rank | |||
Revision as of 00:05, 20 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
