Region analysis and a π-calculus with groups

DOI10.1017/S0956796801004270MaRDI QIDQ4542148zbMATH OpenFDO

Authors Silvano Dal Zilio, Andrew D. Gordon

Publication date 6 October 2002

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796801004270

zbMATH Keywords

typed \(\pi\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1759392
• Syntactic type soundness for the region calculus
• Syntactic type soundness results for the region calculus
• Stratified operational semantics for safety and correctness of the region calculus
• Bisimilarity for the region calculus

Cited in

(7)

• Typing correspondence assertions for communication protocols
• Secrecy and group creation
• The \(C_\pi\)-calculus: a model for confidential name passing
• Bisimilarity for the region calculus
• scientific article; zbMATH DE number 1759392 (Why is no real title available?)
• Stratified operational semantics for safety and correctness of the region calculus
• Typing Safe Deallocation

Describes a project that uses

Uses Software

• Pict

This page was built for publication: Region analysis and a π-calculus with groups

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