scientific article; zbMATH DE number 4050970
From MaRDI portal
Publication:3787461
zbMATH Open0644.68040MaRDI QIDQ3787461FDOQ3787461
Authors: G. M. Reed, A. W. Roscoe 
Publication date: 1988
Title of this publication is not available (Why is that?)
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
CSPfixed point theorydenotational semanticscommunicating sequential processesreal time concurrent systems
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Cited In (23)
- Metric semantics for concurrency
- Probabilistic and prioritized models of timed 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 hierarchy of domains for real-time distributed computing
- Factorizing proofs in timed CSP
- Metric semantics for true concurrent real time
- A brief history of Timed CSP
- 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
- Modeling Timed Concurrent Systems
- Finite divergence
- Fixed points without completeness
- The fixed-point theory of strictly causal functions
- Unbounded nondeterminism in 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 Q3787461)
