Set OpenAlex properties. |
Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Termination, deadlock, and divergence / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Process Algebra / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Theory of Communicating Sequential Processes / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3680258 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Specification and Proof in Real Time CSP / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A brief history of Timed CSP / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3899466 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3777424 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2767980 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A CSP model with flexible parallel termination semantics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3992568 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A timed model for communicating sequential processes / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The timed failures -- Stability model for CSP / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Understanding concurrent systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3969890 / rank | |||
Normal rank | |||
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Specifying termination in CSP |
scientific article |
