Pages that link to "Item:Q478516"
From MaRDI portal
The following pages link to Trace- and failure-based semantics for responsiveness (Q478516):
Displaying 5 items.
- Undecidability of accordance for open systems with unbounded message queues (Q402353) (← links)
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Observable liveness of Petri nets (Q2340254) (← links)
- A trace-based service semantics guaranteeing deadlock freedom (Q2428498) (← links)
- Machine-verifiable responsiveness (Q2863863) (← links)