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 the normal view instead:
scientific article; zbMATH DE number 7220547
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7874149084091187
0 references
0.7690372467041016
0 references
0.7649836540222168
0 references
0.7414200901985168
0 references
