Pages that link to "Item:Q2575733"

The following pages link to A partial order semantics approach to the clock explosion problem of timed automata (Q2575733):

Displaying 13 items.

• Regular set of representatives for time-constrained MSC graphs (Q436617) (← links)
• A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
• Structural transformations for data-enriched real-time systems (Q493518) (← links)
• Partial order reduction for checking soundness of time workflow nets (Q507759) (← links)
• Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
• Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
• Model Checking Real-Time Systems (Q3176387) (← links)
• Distributed Timed Automata with Independently Evolving Clocks (Q3541012) (← links)
• Tools and Algorithms for the Construction and Analysis of Systems (Q5308414) (← links)
• (Q5875377) (← links)
• A unified model for real-time systems: symbolic techniques and implementation (Q6535636) (← links)
• A local-time semantics for negotiations (Q6536431) (← links)
• Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods (Q6649454) (← links)