Distributed cooperation with action systems

DOI10.1145/48022.48023MaRDI QIDQ3814785zbMATH OpenOpenAlexFDO

Authors Ralph-Johan Back, Reino Kurki-Suonio

Publication date 1988

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/toplas/1988-10/

zbMATH Keywords

action systemsbroadcasting networksdistributed systemsfairnessguarded commandshandshaking mechanismsmodels of concurrencymultiprocess communicationprogram verificationschedulingtemporal logictrue concurrency

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 802996
• On distributed cooperation and synchronised collaboration
• Distributed Cooperative Control and Communication for Multi-agent Systems
• scientific article; zbMATH DE number 972595
• Distributed cooperative systems with human operator-in-the-loop
• Learning to improve coordinated actions in cooperative distributed problem-solving environments
• scientific article; zbMATH DE number 1948972

Cited in

(40)

• Trace-based derivation of a scalable lock-free stack algorithm
• Operational specification with joint actions: Serializable databases
• On equivalence-completions of fairness assumptions
• Some impossibility results in interprocess synchronization
• Fairness and hyperfairness in multi-party interactions
• Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability
• Coordinating action systems
• Simulation relations for fault-tolerance
• On fairness notions in distributed systems. I: A characterization of implementability
• Stepwise refinement of communicating systems
• UNITY and Büchi automata
• Generating non-conspiratorial executions
• Deadlock-freedom in component systems with architectural constraints
• Highly concurrent logically synchronous multicast
• Programming for behaviour
• Set-theoretic models of computations
• scientific article; zbMATH DE number 4018360 (Why is no real title available?)
• scientific article; zbMATH DE number 3888905 (Why is no real title available?)
• Compositional action system derivation using enforced properties
• scientific article; zbMATH DE number 3926218 (Why is no real title available?)
• scientific article; zbMATH DE number 4060693 (Why is no real title available?)
• scientific article; zbMATH DE number 52335 (Why is no real title available?)
• scientific article; zbMATH DE number 1303986 (Why is no real title available?)
• Experiments in program verification using Event-B
• Emergence and refinement
• scientific article; zbMATH DE number 2080045 (Why is no real title available?)
• scientific article; zbMATH DE number 1497791 (Why is no real title available?)
• scientific article; zbMATH DE number 1497796 (Why is no real title available?)
• Formal communication elimination and sequentialization equivalence proofs for distributed system models
• scientific article; zbMATH DE number 792054 (Why is no real title available?)
• scientific article; zbMATH DE number 802996 (Why is no real title available?)
• Action systems in incremental and aspect-oriented modeling
• Normal forms in total correctness for while programs and action systems
• Understanding, Explaining, and Deriving Refinement
• Distributed Adaptive Systems
• Verifiable Code Generation from Scheduled Event-B Models
• Ensuring completeness of symbolic verification methods for infinite-state systems
• Refinement patterns for ASTDs
• A distributed synchronization scheme for fair multi-process handshakes
• Algebraic reasoning for probabilistic action systems and while-loops

This page was built for publication: Distributed cooperation with action systems

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