Pages that link to "Item:Q2757804"
From MaRDI portal
The following pages link to An interleaving model for real-time systems (Q2757804):
Displaying 14 items.
- A brief history of Timed CSP (Q674191) (← links)
- TIC: a tImed calculus (Q1261314) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Revisiting timing in process algebra. (Q1394990) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Congruent weak bisimulation with dense real-time (Q1802058) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Timed $$\pi $$-Calculus (Q2830030) (← links)
- Time abstracted bisimulation: Implicit specifications and decidability (Q5890046) (← links)
- Axiomatising real-timed processes (Q5890048) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Real time process algebra with time-dependent conditions (Q5946026) (← links)
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis (Q6589835) (← links)