scientific article
From MaRDI portal
Publication:3662610
zbMath0515.68029MaRDI QIDQ3662610
Rocco De Nicola, Matthew C. B. Hennessy
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On bisimilarity in lambda calculi with continuous probabilistic choice, Synchronization trees, Testing probabilistic equivalence through reinforcement learning, A coinductive calculus for asynchronous side-effecting processes, Typing access control and secure information flow in sessions, General Refinement, Part One: Interfaces, Determinism and Special Refinement, Refusal testing, Observation equivalence as a testing equivalence, (Bi)simulations up-to characterise process semantics, Axiomatising finite delay operators, Non-deterministic data types: Models and implementations, A proof-theoretic characterization of observational equivalence, On powerdomains and modality, Simulations Up-to and Canonical Preorders
