scientific article; zbMATH DE number 1082078
From MaRDI portal
Publication:4365103
zbMath0883.03012MaRDI QIDQ4365103
Publication date: 23 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (17)
Mechanizing a process algebra for network protocols ⋮ Executable structural operational semantics in Maude ⋮ HOCore in Coq ⋮ Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda ⋮ Implementation of a reversible distributed calculus ⋮ Unnamed Item ⋮ Psi-calculi in Isabelle ⋮ Unique solutions of contractions, CCS, and their HOL formalisation ⋮ Psi-calculi in Isabelle ⋮ \(\mathrm{HO}\pi\) in Coq ⋮ A case study in programming coinductive proofs: Howe’s method ⋮ A First-Order Syntax for the π-Calculus in Isabelle/HOL using Permutations ⋮ The Theory of Contexts for First Order and Higher Order Abstract Syntax ⋮ Unnamed Item ⋮ A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle ⋮ Specifying Properties of Concurrent Computations in CLF ⋮ Two case studies of semantics execution in Maude: CCS and LOTOS
Uses Software
This page was built for publication:
