A Formal Model of Atomicity in Asynchronous Systems.

Eike Best Brian Randell

Published in: Acta Informatica (1981)

Keyphrases

formal model
management system
information systems
computer systems
formal models
security patterns
distributed systems
intelligent systems
complex systems
distributed databases
multidatabase systems
predicate calculus
asynchronous circuits