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
(23)- The fixed-point theory of strictly causal functions
- Probabilistic and prioritized models of timed CSP
- Metric semantics for concurrency
- Unbounded nondeterminism in CSP
- On performance congruences for process algebras
- CPO semantics of timed interactive actor networks
- Towards a complete hierarchy of compositional dataflow models
- An algebraic framework for developing and maintaining real-time systems
- A brief history of Timed CSP
- A hierarchy of domains for real-time distributed computing
- Factorizing proofs in timed CSP
- Metric semantics for true concurrent real time
- The timed failures -- Stability model for CSP
- A timed model for communicating sequential processes
- TIC: a tImed calculus
- Faster asynchronous systems.
- Topology, domain theory and theoretical computer science
- Real time process algebra
- A calculus of durations
- Timed testing of concurrent systems
- Finite divergence
- Fixed points without completeness
- Modeling Timed Concurrent Systems
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)
