Pages that link to "Item:Q1119027"
From MaRDI portal
The following pages link to Compositional semantics for real-time distributed computing (Q1119027):
Displaying 9 items.
- A compositional axiomatization of statecharts (Q1194330) (← links)
- Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
- Real time process algebra (Q2640341) (← links)
- A Denotational Semantics for Parameterised Networks of Synchronised Automata (Q2971177) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- A Small Step for Mankind (Q5187820) (← links)
- A Proof System for a PGAS Language (Q5187828) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)
- Compositional priority specification in real-time distributed systems. (Q5955750) (← links)
