scientific article

zbMath0769.68027MaRDI QIDQ4036565

Wang Yi

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Milner's CCSreal time systemsreal time concurrencytimed calculus of communicating systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (33)

Sound reasoning in \textit{tock}-CSP ⋮ Recursion induction for real-time processes ⋮ Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ Refinement of events in the development of real-time distributed systems ⋮ Process Algebra and Model Checking ⋮ Time-abstracted bisimulation: Implicit specifications and decidability ⋮ Bisimulation on speed: Worst-case efficiency ⋮ A complete axiomatization of finite-state ACSR processes ⋮ Timing and causality in process algebra ⋮ A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time ⋮ A process algebra of communicating shared resources with dense time and priorities ⋮ An algebraic theory of multiple clocks ⋮ Simulation relations and applications in formal methods ⋮ Convex lattice equation systems ⋮ Reconciling real and stochastic time: the need for probabilistic refinement ⋮ SAT-based verification for timed component connectors ⋮ A wide-spectrum language for object-based development of real-time systems ⋮ On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi ⋮ A complete axiomatization of timed bisimulation for a class of timed regular behaviours ⋮ The fixed-point theory of strictly causal functions ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ Congruent weak bisimulation with dense real-time ⋮ A conservative look at operational semantics with variable binding ⋮ Timed $$\pi $$-Calculus ⋮ Basic observables for processes ⋮ Processes against tests: on defining contextual equivalences ⋮ Input urgent semantics for asynchronous timed session types ⋮ Stochastic Model Checking of the Stochastic Quality Calculus ⋮ Model checking of systems with many identical timed processes ⋮ Undecidable verification problems for programs with unreliable channels ⋮ Bisimulation indexes and their applications ⋮ Discussion on: ``Formal specification method for systems automation ⋮ From ATP to timed graphs and hybrid systems

This page was built for publication: