scientific article; zbMATH DE number 1759392

MaRDI QIDQ4536340zbMATH OpenFDO

Authors Silvano Dal Zilio, Andrew D. Gordon

Publication date 4 November 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Region analysis and a π-calculus with groups
• 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)

• Bisimilarity for the region calculus
• Types for the ambient calculus
• A first-order syntax for the -calculus in Isabelle/HOL using permutations
• Region analysis and a π-calculus with groups
• Typing Correspondence Assertions for Communication Protocols
• Syntactic type soundness for the region calculus
• Stratified operational semantics for safety and correctness of the region calculus

This page was built for publication:

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