scientific article; zbMATH DE number 4050970
From MaRDI portal
Publication:3787461
Recommendations
- Metric semantics for true concurrent real time
- Metric semantics for concurrency
- scientific article; zbMATH DE number 17699
- Connections between two theories of concurrency: Metric spaces and synchronization trees
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Space-Optimal, Wait-Free Real-Time Synchronization
- Some geometric perspectives in concurrency theory
- scientific article; zbMATH DE number 4119659
Cited in
(24)- A timed model for communicating sequential processes
- Metric semantics for concurrency
- A calculus of durations
- TIC: a tImed calculus
- The timed failures -- Stability model for CSP
- On performance congruences for process algebras
- Topology, domain theory and theoretical computer science
- Faster asynchronous systems.
- The fixed-point theory of strictly causal functions
- Real time process algebra
- Timed testing of concurrent systems
- Towards a complete hierarchy of compositional dataflow models
- An algebraic framework for developing and maintaining real-time systems
- Modeling Timed Concurrent Systems
- A hierarchy of domains for real-time distributed computing
- Factorizing proofs in timed CSP
- Unbounded nondeterminism in CSP
- Metric semantics for true concurrent real time
- Finite divergence
- A brief history of Timed CSP
- Fixed points without completeness
- Probabilistic and prioritized models of timed CSP
- Timing is all you need
- CPO semantics of timed interactive actor networks
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 Q3787461)
