The following pages link to (Q3761679):
Displaying 12 items.
- A brief history of Timed CSP (Q674191) (← links)
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- TIC: a tImed calculus (Q1261314) (← links)
- The timed failures -- Stability model for CSP (Q1274446) (← links)
- Semantic models of a timed distributed dataspace architecture (Q1770360) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- Real time process algebra (Q2640341) (← links)
- (Q3680258) (← links)
- Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata (Q4989486) (← links)
- An efficiency preorder for processes (Q5096216) (← links)
- An algebraic framework for developing and maintaining real-time systems (Q5096395) (← links)
- On continuous time agents (Q6116583) (← links)