Action refinement and equivalence notions for timed event structures

MaRDI QIDQ2880595zbMATH OpenFDO

Authors M. V. Andreeva

Publication date 13 April 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

conflict-free event structuredense time domaindense time extension

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Refinement of actions and equivalence notions for concurrent systems
• scientific article; zbMATH DE number 1534596
• Towards action refinement for true concurrent real time
• scientific article; zbMATH DE number 17804
• Towards action-refinement in process algebras

Cited in

(17)

• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• Action refinement applied to late decisions
• Adding action refinement to a finite process algebra
• Towards action-refinement in process algebras
• Towards action refinement for true concurrent real time
• Refinement of actions and equivalence notions for concurrent systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA
• Action refinement and property inheritance in systems of sequential agents
• Action refinement for real-time concurrent processes with urgency
• scientific article; zbMATH DE number 6261993 (Why is no real title available?)
• Refinement of events in the development of real-time distributed systems
• Taking decisions late: end-based choice combined with action refinement
• scientific article; zbMATH DE number 1795753 (Why is no real title available?)
• Refinements and Abstractions of Signal-Event (Timed) Languages
• Refinement of Timing Constraints for Concurrent Tasks with Scheduling
• scientific article; zbMATH DE number 1534596 (Why is no real title available?)

This page was built for publication: Action refinement and equivalence notions for timed event structures

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