Pages that link to "Item:Q1656550"
From MaRDI portal
The following pages link to Event algebra for transition systems composition application to timed automata (Q1656550):
Displaying 5 items.
- On the nature of events: another perspective in concurrency (Q674197) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Agreement between conformance and composition (Q2017761) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464477) (← links)