scientific article
From MaRDI portal
Publication:3725532
zbMath0594.68022MaRDI QIDQ3725532
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A hierarchy of domains for real-time distributed computing ⋮ Bisimulation through probabilistic testing ⋮ Experimenting with process equivalence ⋮ CSP is a retract of CCS ⋮ Refusal testing ⋮ Observation equivalence as a testing equivalence