Compositional action system refinement

DOI10.1007/S00165-003-0005-6MaRDI QIDQ706509zbMATHOpenAlexFDO

Authors D. Kharzeev

Publication date 8 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-003-0005-6

zbMATH Keywords

RefinementAction systemsCompositionalityRely/guarantee

Mathematics Subject Classification ID

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

Recommendations

• Data refinement of remote procedures
• Model checking action system refinements
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• Refinement of fair action systems
• Compositional refinement of interactive systems

Cited in

(13)

• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• Hybrid action systems
• Program inversion in the refinement calculus
• Laws of mission-based programming
• Action Refinement in Process Algebra and Security Issues
• Games and winning strategies
• Derivation of concurrent programs by stepwise scheduling of Event-B models
• Coordinating action systems
• scientific article; zbMATH DE number 2147039 (Why is no real title available?)
• Compositional action system derivation using enforced properties
• Modular verification of multithreaded programs
• Action refinement and property inheritance in systems of sequential agents
• Superposition: Composition vs refinement of non-deterministic, action-based systems

This page was built for publication: Compositional action system refinement

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