A formal model of atomicity in asynchronous systems
From MaRDI portal
Publication:1838831
DOI10.1007/BF00289593zbMath0511.68033MaRDI QIDQ1838831
Publication date: 1981
Published in: Acta Informatica (Search for Journal in Brave)
concurrent processeserror recoveryatomic occurrence of a programcycle-freeness of graphsdecentralised systemformal model of computational structuregeneralisation of occurrence graphsinterference freeness
Related Items
A temporal programming model with atomic blocks based on projection temporal logic ⋮ A Canonical Contraction for Safe Petri Nets ⋮ Interleaving set temporal logic ⋮ Sequential and concurrent behaviour in Petri net theory ⋮ Failures: Their Definition, Modelling and Analysis ⋮ Verifying atomic data types ⋮ Occurrence Nets Then and Now: The Path to Structured Occurrence Nets ⋮ Transformation of programs for fault-tolerance
Cites Work