scientific article; zbMATH DE number 1759392
From MaRDI portal
Publication:4536340
zbMath0996.68120MaRDI QIDQ4536340
Andrew D. Gordon, Silvano Dal Zilio
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Typing Correspondence Assertions for Communication Protocols ⋮ Syntactic Type Soundness for the Region Calculus ⋮ Types for the ambient calculus ⋮ A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations
This page was built for publication:
