Coupled similarity: the first 32 years
From MaRDI portal
Publication:2182667
DOI10.1007/S00236-019-00356-4zbMath1476.68166OpenAlexW2990387586WikidataQ126644028 ScholiaQ126644028MaRDI QIDQ2182667
Benjamin Bisping, Uwe Nestmann, Kirstin Peters
Publication date: 26 May 2020
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-019-00356-4
Related Items (5)
Encodability criteria for quantum based systems ⋮ Reactive bisimulation semantics for a process algebra with timeouts ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A game for linear-time-branching-time spectroscopy
Uses Software
Cites Work
- Concurrency, security, and puzzles. Essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday
- On the expressiveness of interaction
- On bisimulations for the asynchronous \(\pi\)-calculus
- Impossible futures and determinism
- A hierarchy of equivalences for asynchronous calculi
- A brief history of process algebra
- Modular specification of process algebras
- Decoding choice encodings
- Axiomatizing prefix iteration with silent steps
- Towards a unified approach to encodability and separation results for process calculi
- On the expressive power of CCS
- Introduction to Bisimulation and Coinduction
- A Theory of Communicating Sequential Processes
- Branching time and abstraction in bisimulation semantics
- On asynchrony in name-passing calculi
- From LOTOS to LNT
- On Distributability in Process Calculi
- An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language
- Full abstraction for expressiveness: history, myths and facts
- General conditions for full abstraction
- Refinement of actions and equivalence notions for concurrent systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Coupled similarity: the first 32 years
