Compositional action system refinement

DOI10.1007/S00165-003-0005-6zbMATH Open1093.68007OpenAlexW2030331955MaRDI QIDQ706509FDOQ706509

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

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

zbMATH Keywords

RefinementAction systemsCompositionalityRely/guarantee

Mathematics Subject Classification ID

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

Cited In (13)

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

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)