scientific article; zbMATH DE number 4119655
From MaRDI portal
Publication:4733430
zbMath0683.68069MaRDI QIDQ4733430
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Partial orders, general (06A06) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Related Items (9)
A semantic characterization for faults in replicated systems ⋮ The difference between splitting in \(n\) and \(n+1\) ⋮ On hierarchically developing reactive systems ⋮ Structure of concurrency ⋮ Bisimulation and action refinement ⋮ Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice ⋮ Progress assumption in concurrent systems ⋮ Algebra and theory of order-deterministic pomsets ⋮ Processes against tests: on defining contextual equivalences
This page was built for publication: