Action systems in incremental and aspect-oriented modeling

DOI10.1007/S00446-003-0090-ZMaRDI QIDQ5138491zbMATH OpenOpenAlexFDO

Authors Reino Kurki-Suonio

Publication date 4 December 2020

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00446-003-0090-z

zbMATH Keywords

action systemsaspectsformal specificationincremental modelingsuperpositionTLA

Mathematics Subject Classification ID

Temporal logic (03B44) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Distributed cooperation with action systems
• Refinement of fair action systems
• Coordinating action systems
• Model checking action system refinements
• scientific article; zbMATH DE number 1304365

Cites work

• A Methodology for Developing Distributed Programs
• A practical theory of reactive systems. Incremental modeling of dynamic behaviors.
• An axiomatic basis for computer programming
• An Effective Implementation for the Generalized Input-Output Construct of CSP
• Analysis 2
• Appraising fairness in languages for distributed programming
• Communicating sequential processes
• DisCo Toolset -- the new generation
• Distributed cooperation with action systems
• Fairness and hyperfairness in multi-party interactions
• Formal stystems specification. The RPC-memory specification case study
• Guarded commands, nondeterminacy and formal derivation of programs
• scientific article; zbMATH DE number 1696508 (Why is no real title available?)
• scientific article; zbMATH DE number 4060693 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1198839 (Why is no real title available?)
• scientific article; zbMATH DE number 1258883 (Why is no real title available?)
• scientific article; zbMATH DE number 1301627 (Why is no real title available?)
• scientific article; zbMATH DE number 1303073 (Why is no real title available?)
• scientific article; zbMATH DE number 1006119 (Why is no real title available?)
• scientific article; zbMATH DE number 1487473 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 1863391 (Why is no real title available?)
• scientific article; zbMATH DE number 839543 (Why is no real title available?)
• scientific article; zbMATH DE number 929432 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• On describing the behavior and implementation of distributed systems
• On equivalence-completions of fairness assumptions
• On fairness notions in distributed systems. I: A characterization of implementability
• Open systems in TLA
• Operational specification with joint actions: Serializable databases
• Protocol Verification via Projections
• Real-time specification and modeling with joint actions
• Refinement of fair action systems
• Specifying Concurrent Program Modules
• Specifying the Caltech asynchronous microprocessor
• Statecharts: a visual formalism for complex systems
• Superposition refinement of reactive systems
• Termination detection for diffusing computations
• The B-Book
• The existence of refinement mappings
• The multiway rendezvous

Cited in

(6)

• A practical theory of reactive systems. Incremental modeling of dynamic behaviors.
• Generating non-conspiratorial executions
• Compositional action system derivation using enforced properties
• scientific article; zbMATH DE number 1303986 (Why is no real title available?)
• scientific article; zbMATH DE number 1304365 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Describes a project that uses

Uses Software

• Z
• Ocsid

This page was built for publication: Action systems in incremental and aspect-oriented modeling

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