scientific article; zbMATH DE number 839543

MaRDI QIDQ4864236zbMATH OpenFDO

Authors Nissim Francez, Ira R. Forman

Publication date 30 January 1996

zbMATH Keywords

conflict propagationdistributed programmingIP language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Distributed programming. Theory and practice.
• A comprehensive study of the complexity of multiparty interaction
• scientific article; zbMATH DE number 1639446
• Introduction to Reliable Distributed Programming
• Introduction to Reliable and Secure Distributed Programming

Cited in

(10)

• On equivalence-completions of fairness assumptions
• Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability
• On fairness notions in distributed systems. I: A characterization of implementability
• On fairness notions in distributed systems. II: Equivalence-completions and their hierarchies
• Generating non-conspiratorial executions
• A comprehensive study of the complexity of multiparty interaction
• Fairness in systems based on multiparty interactions
• scientific article; zbMATH DE number 2087406 (Why is no real title available?)
• Action systems in incremental and aspect-oriented modeling
• A general framework for architecture composability

Describes a project that uses

Uses Software

• LOTOS

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