Compact and efficiently verifiable models for concurrent systems (Q1620959)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Compact and efficiently verifiable models for concurrent systems |
scientific article; zbMATH DE number 6979622
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compact and efficiently verifiable models for concurrent systems |
scientific article; zbMATH DE number 6979622 |
Statements
Compact and efficiently verifiable models for concurrent systems (English)
0 references
15 November 2018
0 references
concurrency
0 references
graph transformation
0 references
partial orders
0 references
event structures
0 references
0 references
0.9267065
0 references
0.9202836
0 references
0.9202503
0 references
0.91622144
0 references
0.9118326
0 references
0 references
0 references
