scientific article
From MaRDI portal
Publication:3787461
zbMath0644.68040MaRDI QIDQ3787461
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed point theoryCSPdenotational 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)
Related Items (20)
A hierarchy of domains for real-time distributed computing ⋮ Factorizing proofs in timed CSP ⋮ Unbounded nondeterminism in CSP ⋮ Timed testing of concurrent systems ⋮ Real time process algebra ⋮ A timed model for communicating sequential processes ⋮ Towards a complete hierarchy of compositional dataflow models ⋮ An algebraic framework for developing and maintaining real-time systems ⋮ Faster asynchronous systems. ⋮ A calculus of durations ⋮ Finite divergence ⋮ A brief history of Timed CSP ⋮ Fixed points without completeness ⋮ Probabilistic and prioritized models of timed CSP ⋮ CPO semantics of timed interactive actor networks ⋮ The fixed-point theory of strictly causal functions ⋮ TIC: a tImed calculus ⋮ The timed failures -- Stability model for CSP ⋮ On performance congruences for process algebras ⋮ Topology, domain theory and theoretical computer science
This page was built for publication:
