scientific article; zbMATH DE number 3814961
From MaRDI portal
Publication:3662610
zbMATH Open0515.68029MaRDI QIDQ3662610FDOQ3662610
Matthew Hennessy, Rocco De Nicola
Publication date: 1983
Title of this publication is not available (Why is that?)
Cited In (14)
- A coinductive calculus for asynchronous side-effecting processes
- General Refinement, Part One: Interfaces, Determinism and Special Refinement
- (Bi)simulations up-to characterise process semantics
- Synchronization trees
- Refusal testing
- Observation equivalence as a testing equivalence
- On bisimilarity in lambda calculi with continuous probabilistic choice
- On powerdomains and modality
- Axiomatising finite delay operators
- Non-deterministic data types: Models and implementations
- Typing access control and secure information flow in sessions
- Simulations up-to and canonical preorders (extended abstract)
- A proof-theoretic characterization of observational equivalence
- Testing probabilistic equivalence through reinforcement learning
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3662610)
