Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (Q2971130)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict |
scientific article |
Statements
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict (English)
0 references
4 April 2017
0 references
bisimilarity
0 references
event structures with asymmetric conflict
0 references
labelled transition systems
0 references
interleaving semantics
0 references
multiset semantics
0 references
pomset semantics
0 references