scientific article; zbMATH DE number 4011913
From MaRDI portal
Publication:3761679
Recommendations
- A timed model for communicating sequential processes
- scientific article; zbMATH DE number 3956423
- scientific article; zbMATH DE number 3902016
- Reachability of communicating timed processes
- scientific article; zbMATH DE number 140226
- scientific article; zbMATH DE number 1696501
- A CALCULUS OF TIMED COMMUNICATING SYSTEMS
- The timed failures -- Stability model for CSP
- Failure trace semantics for a process algebra with time-outs
- Timeliness, failure-detectors, and consensus performance
Cited in
(14)- Compositional semantics for real-time distributed computing
- TIC: a tImed calculus
- The timed failures -- Stability model for CSP
- Semantic models of a timed distributed dataspace architecture
- Sound reasoning in \textit{tock}-CSP
- Real time process algebra
- scientific article; zbMATH DE number 3902016 (Why is no real title available?)
- Failure trace semantics for a process algebra with time-outs
- Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
- An efficiency preorder for processes
- An algebraic framework for developing and maintaining real-time systems
- On continuous time agents
- A model of actors and grey failures
- A brief history of Timed CSP
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3761679)
