Divergence detection for CCSL specification via clock causality chain (Q1660763)
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: Divergence detection for CCSL specification via clock causality chain |
scientific article; zbMATH DE number 6919108
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Divergence detection for CCSL specification via clock causality chain |
scientific article; zbMATH DE number 6919108 |
Statements
Divergence detection for CCSL specification via clock causality chain (English)
0 references
16 August 2018
0 references
CCSL
0 references
divergence
0 references
clock causality chain
0 references
bounded clock set
0 references
PVS
0 references
