Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055)
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: Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels |
scientific article; zbMATH DE number 7220547
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels |
scientific article; zbMATH DE number 7220547 |
Statements
Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (English)
0 references
14 July 2020
0 references
choreography
0 references
semantics
0 references
realizability
0 references
causal-consistent reversibility
0 references
pomset
0 references
communicating state machines
0 references
