Connections between a concrete and an abstract model of concurrent systems (Q5887511): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Normalize DOI. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1007/BFb0040254 / rank | |||
| Property / cites work | |||
| Property / cites work: Theory of traces / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Minimal and Optimal Computations of Recursive Programs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3805920 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3785893 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A proof of the Kahn principle for input/output automata / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3795195 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4721652 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Compositional relational semantics for indeterminate dataflow networks / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Concurrent transition systems / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1007/BFB0040254 / rank | |||
Normal rank | |||
Latest revision as of 17:48, 30 December 2024
scientific article; zbMATH DE number 7673897
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connections between a concrete and an abstract model of concurrent systems |
scientific article; zbMATH DE number 7673897 |
Statements
Connections between a concrete and an abstract model of concurrent systems (English)
0 references
12 April 2023
0 references
full subcategory
0 references
concurrent system
0 references
computation sequence
0 references
trace theory
0 references
prime interval
0 references
