An application of temporal projection to interleaving concurrency (Q2403529)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An application of temporal projection to interleaving concurrency |
scientific article |
Statements
An application of temporal projection to interleaving concurrency (English)
0 references
8 September 2017
0 references
interleaving concurrency
0 references
interval temporal logic
0 references
temporal projection
0 references
time granularities
0 references
stutter invariance
0 references
0 references
0 references
0 references
0 references
