Characterizing contextual equivalence in calculi with passivation

DOI10.1016/J.IC.2011.08.002zbMath1251.68160OpenAlexW2018456712MaRDI QIDQ651309

Alan Schmitt, Jean-Bernard Stefani, Sergueï Lenglet

Publication date: 12 December 2011

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2011.08.002

zbMATH Keywords

higher-order languagescontextual equivalencebisimilarityHO\(\pi \)P calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Howe’s Method for Calculi with Passivation ⋮ Parameterizing higher-order processes on names and processes ⋮ Unnamed Item ⋮ First-order reasoning for higher-order concurrency ⋮ \(\mathrm{HO}\pi\) in Coq ⋮ On parameterization of higher-order processes

Uses Software

• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation for higher-order process calculi
• A congruence rule format for name-passing process calculi
• Plain CHOCS. A second generation calculus for higher order processes
• Mobile ambients
• A theory of bisimulation for a fragment of concurrent ML with local names
• Proving congruence of bisimulation in functional programming languages
• The seal calculus
• Communication and mobility control in boxed ambients
• safeDpi: a language for controlling mobile code
• The m-calculus
• Sound Bisimulations for Higher-Order Distributed Process Calculus
• Howe’s Method for Calculi with Passivation
• Behavioral theory for mobile ambients
• Deriving Structural Labelled Transitions for Mobile Ambients
• Normal Bisimulations in Calculi with Passivation
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Acute: High-level programming language design for distributed computation
• Contextual equivalence for higher-order pi-calculus revisited
• Global Computing
• CONCUR 2005 – Concurrency Theory
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Foundations of Software Science and Computation Structures

This page was built for publication: Characterizing contextual equivalence in calculi with passivation