Region analysis and a π-calculus with groups

DOI10.1017/S0956796801004270zbMath1005.68041MaRDI QIDQ4542148

Silvano Dal Zilio, Andrew D. Gordon

Publication date: 6 October 2002

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

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)

Related Items (4)

Typing correspondence assertions for communication protocols ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ Secrecy and group creation ⋮ Typing Safe Deallocation

Uses Software

• Pict

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