Pages that link to "Item:Q1838831"
From MaRDI portal
The following pages link to A formal model of atomicity in asynchronous systems (Q1838831):
Displaying 8 items.
- Verifying atomic data types (Q914403) (← links)
- Sequential and concurrent behaviour in Petri net theory (Q1119024) (← links)
- Transformation of programs for fault-tolerance (Q1201297) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- Occurrence Nets Then and Now: The Path to Structured Occurrence Nets (Q3011878) (← links)
- A Canonical Contraction for Safe Petri Nets (Q3452474) (← links)
- Failures: Their Definition, Modelling and Analysis (Q3525090) (← links)
