scientific article; zbMATH DE number 1759486
From MaRDI portal
Publication:4536440
zbMath0998.68538MaRDI QIDQ4536440
Publication date: 25 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 (9)
Implementation of a reversible distributed calculus ⋮ \(\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 ⋮ Encoding Generic Judgments ⋮ Asynchronous process calculi: The first- and higher-order paradigms ⋮ A Framework for Defining Logical Frameworks ⋮ A Coq Library for Verification of Concurrent Programs ⋮ \( \pi\) with leftovers: a mechanisation in Agda
Uses Software
This page was built for publication:
