scientific article; zbMATH DE number 1863387
From MaRDI portal
Publication:4790662
zbMath1005.68531MaRDI QIDQ4790662
Publication date: 4 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520217
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
\(\mathrm{HO}\pi\) in Coq ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness ⋮ A Coq Library for Verification of Concurrent Programs ⋮ \( \pi\) with leftovers: a mechanisation in Agda
Uses Software
This page was built for publication:
