Pages that link to "Item:Q2880595"
From MaRDI portal
The following pages link to Action refinement and equivalence notions for timed event structures (Q2880595):
Displaying 14 items.
- Refinement of events in the development of real-time distributed systems (Q1341711) (← links)
- Adding action refinement to a finite process algebra (Q1342519) (← links)
- Towards action refinement for true concurrent real time (Q1424360) (← links)
- Towards action-refinement in process algebras (Q2365760) (← links)
- Action refinement applied to late decisions (Q2432235) (← links)
- Taking decisions late: end-based choice combined with action refinement (Q2844828) (← links)
- Action refinement for real-time concurrent processes with urgency (Q2851078) (← links)
- (Q3975146) (← links)
- (Q4550809) (← links)
- (Q5398251) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464749) (← links)
- Refinement of Timing Constraints for Concurrent Tasks with Scheduling (Q5881451) (← links)
- Refinement of actions and equivalence notions for concurrent systems (Q5925821) (← links)
- Action refinement and property inheritance in systems of sequential agents (Q6162110) (← links)