General conditions for full abstraction
From MaRDI portal
Publication:5741574
DOI10.1017/S0960129514000280zbMath1361.68085OpenAlexW2327281523MaRDI QIDQ5741574
Publication date: 28 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129514000280
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Comparing type systems for deadlock freedom ⋮ Coupled similarity: the first 32 years ⋮ Parameterizing higher-order processes on names and processes ⋮ Comparing the expressiveness of the \(\pi \)-calculus and CCS ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Unnamed Item ⋮ Unnamed Item
Cites Work
This page was built for publication: General conditions for full abstraction
