scientific article; zbMATH DE number 3588016

MaRDI QIDQ4155798zbMATH OpenFDO

Authors

Publication date 1978

Mathematics Subject Classification ID

Reliability and life testing (62N05) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)

Cited in

(3)

• A trace-based compositional proof theory for fault tolerant distributed systems
• A formal model of atomicity in asynchronous systems
• A distributed error recovery technique and its implementation and application on UNIX

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4155798)