scientific article; zbMATH DE number 3588016

zbMath0377.68004MaRDI QIDQ4155798

No author found.

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

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