Schedulers and finishers: on generating and filtering the behaviours of an event structure (Q1786565)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Schedulers and finishers: on generating and filtering the behaviours of an event structure |
scientific article |
Statements
Schedulers and finishers: on generating and filtering the behaviours of an event structure (English)
0 references
24 September 2018
0 references
concurrency
0 references
event structure
0 references
partial order
0 references
completeness
0 references
specification
0 references
0 references
