Action refinement and equivalence notions for timed event structures

zbMATH Open1249.68123MaRDI QIDQ2880595FDOQ2880595

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)

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

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)

Cited In (17)

• Action refinement applied to late decisions
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Refinement of events in the development of real-time distributed systems
• Taking decisions late: end-based choice combined with action refinement
• Title not available (Why is that?)
• Refinements and Abstractions of Signal-Event (Timed) Languages
• Refinement of Timing Constraints for Concurrent Tasks with Scheduling
• Title not available (Why is that?)

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)