Action systems in incremental and aspect-oriented modeling

DOI10.1007/s00446-003-0090-zzbMath1448.68131OpenAlexW2061371739MaRDI QIDQ5138491

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

formal specificationsuperpositionaspectsTLAaction systemsincremental modeling

Mathematics Subject Classification ID

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

Related Items (1)

Generating non-conspiratorial executions

Uses Software

• Z
• Ocsid

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Real-time specification and modeling with joint actions
• The existence of refinement mappings
• Statecharts: a visual formalism for complex systems
• Appraising fairness in languages for distributed programming
• Formal stystems specification. The RPC-memory specification case study
• Termination detection for diffusing computations
• On describing the behavior and implementation of distributed systems
• Operational specification with joint actions: Serializable databases
• On equivalence-completions of fairness assumptions
• Fairness and hyperfairness in multi-party interactions
• Refinement of fair action systems
• A practical theory of reactive systems. Incremental modeling of dynamic behaviors.
• On fairness notions in distributed systems. I: A characterization of implementability
• Specifying the Caltech asynchronous microprocessor
• Superposition refinement of reactive systems
• Protocol Verification via Projections
• Specifying Concurrent Program Modules
• An Effective Implementation for the Generalized Input-Output Construct of CSP
• The multiway rendezvous
• Distributed cooperation with action systems
• Guarded commands, nondeterminacy and formal derivation of programs
• Communicating sequential processes
• The B-Book
• A Methodology for Developing Distributed Programs
• Open systems in TLA
• An axiomatic basis for computer programming
• Analysis 2

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