Howe’s Method for Calculi with Passivation

DOI10.1007/978-3-642-04081-8_30MaRDI QIDQ3184692zbMATH OpenOpenAlexFDO

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

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00486800/file/Lenglet2009Howes-Method-for-Cal.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Characterizing contextual equivalence in calculi with passivation
• Howe's method for contextual semantics
• Normal Bisimulations in Calculi with Passivation
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Bisimulation for higher-order process calculi

Cites work

• A CPS encoding of name-passing in higher-order mobile embedded resources
• 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
• Characterizing contextual equivalence in calculi with passivation
• Communication and mobility control in boxed ambients
• CONCUR 2005 – Concurrency Theory
• Contextual equivalence for higher-order pi-calculus revisited
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Global Computing
• 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
• safeDpi: a language for controlling mobile code
• The -calculus: A theory of mobile processes
• The seal calculus

Cited in

(7)

• Leftmost outside-in narrowing calculi
• Howe's method for contextual semantics
• Bisimulations for delimited-control operators
• scientific article; zbMATH DE number 970634 (Why is no real title available?)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• On the expressiveness and decidability of higher-order process calculi
• Characterizing contextual equivalence in calculi with passivation

Describes a project that uses

Uses Software

• SafeDpi

This page was built for publication: Howe’s Method for Calculi with Passivation

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