Action refinement and property inheritance in systems of sequential agents

DOI10.1007/3-540-61604-7_81zbMath1514.68170OpenAlexW1524925309MaRDI QIDQ6162110

Michaela Huhn

Publication date: 28 June 2023

Published in: CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61604-7_81

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (2)

Towards the hierarchical verification of reactive systems ⋮ A tableau proof system for a mazurkiewicz trace logic with fixpoints

Cites Work

• Bisimulation and action refinement
• Refinement of actions in event structures and causal trees
• A\(^ 2\)CCS: Atomic actions for CCS
• Adding action refinement to a finite process algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Action refinement and property inheritance in systems of sequential agents