Characterizing contextual equivalence in calculi with passivation

DOI10.1016/J.IC.2011.08.002MaRDI QIDQ651309zbMATH OpenOpenAlexFDO

Authors Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

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

contextual equivalencebisimilarityhigher-order languagesHO\(\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)

Recommendations

• Howe’s Method for Calculi with Passivation
• Normal Bisimulations in Calculi with Passivation
• Contextual equivalence for higher-order pi-calculus revisited
• Contextual equivalence for higher-order -calculus revisited
• Contextual labelled semantics for higher-order process calculi

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1088042 (Why is no real title available?)
• A CPS encoding of name-passing in higher-order mobile embedded resources
• A congruence format for name-passing calculi
• A congruence rule format for name-passing process calculi
• A theory of bisimulation for a fragment of concurrent ML with local names
• Acute: High-level programming language design for distributed computation
• Behavioral theory for mobile ambients
• Bisimulation for higher-order process calculi
• CONCUR 2005 – Concurrency Theory
• Communication and mobility control in boxed ambients
• Contextual equivalence for higher-order pi-calculus revisited
• Deriving Structural Labelled Transitions for Mobile Ambients
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Foundations of Software Science and Computation Structures
• Global Computing
• Howe’s Method for Calculi with Passivation
• Mobile ambients
• Normal Bisimulations in Calculi with Passivation
• Plain CHOCS. A second generation calculus for higher order processes
• Proving congruence of bisimulation in functional programming languages
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Sound bisimulations for higher-order distributed process calculus
• The M-calculus: a higher-order distributed process calculus
• The \(\pi\)-calculus: A theory of mobile processes
• The seal calculus
• safeDpi: a language for controlling mobile code

Cited in

(9)

• On parameterization of higher-order processes
• Howe’s Method for Calculi with Passivation
• Parameterizing higher-order processes on names and processes
• Howe's method for contextual semantics
• \(\mathrm{HO}\pi\) in Coq
• First-order reasoning for higher-order concurrency
• On the discriminating power of passivation and higher-order interaction
• scientific article; zbMATH DE number 1954375 (Why is no real title available?)
• Higher-order processes with parameterization over names and processes

Describes a project that uses

Uses Software

• JoCaml
• SafeDpi

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651309)