scientific article; zbMATH DE number 4060693

MaRDI QIDQ3795196zbMATH OpenFDO

Authors Ralph-Johan Back, Reino Kurki-Suonio

Publication date 1988

zbMATH Keywords

distributed systemshand-shakingpartial order computationsserializabilitytemporal reasoning

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Distributed cooperation with action systems
• Serialization of concurrent programs
• On serializability
• Sequential verification of serializability
• Consistency and Serializability in Concurrent Database Systems

Cited in

(7)

• Fairness and the axioms of control predicates
• Operational specification with joint actions: Serializable databases
• Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
• On fairness notions in distributed systems. I: A characterization of implementability
• scientific article; zbMATH DE number 1263990 (Why is no real title available?)
• scientific article; zbMATH DE number 1951113 (Why is no real title available?)
• Action systems in incremental and aspect-oriented modeling

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 Q3795196)