Programming Languages and Systems
From MaRDI portal
Publication:5316561
DOI10.1007/b107380zbMath1108.68456OpenAlexW4232919104MaRDI QIDQ5316561
Sergio Maffeis, Andrew D. Gordon, Cédric Fournet
Publication date: 13 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107380
Related Items
Dynamic role authorization in multiparty conversations ⋮ Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA ⋮ Refinement checking for privacy policies ⋮ Behavioural equivalences for dynamic web data ⋮ Type Inference for Correspondence Types ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) ⋮ Noninterference in a predicative polymorphic calculus for access control
Uses Software