Pages that link to "Item:Q955710"
From MaRDI portal
The following pages link to Design and verification of long-running transactions in a timed framework (Q955710):
Displaying 5 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- True concurrency in long-running transactions for digital ecosystems (Q2804190) (← links)
- Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata (Q4989486) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709384) (← links)