Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels |
scientific article |
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
