scientific article; zbMATH DE number 2185678

MaRDI QIDQ3024855zbMATH OpenFDO

Authors Otmane Ait Mohamed

Publication date 4 July 2005

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1082078
• A \(\pi\)-calculus with explicit substitutions
• A theory of bisimulation for the -calculus
• Formalising the π-Calculus Using Nominal Logic
• Equivalence Checking for a Finite Higher Order π-Calculus

Cited in

(12)

• \(\mathrm{HO}\pi\) in Coq
• Unique solutions of contractions, CCS, and their HOL formalisation
• On the formalization of gamma function in HOL
• From active names to -calculus rewriting rules
• A completeness proof for bisimulation in the pi-calculus using Isabelle
• Unique solutions of contractions, CCS, and their HOL formalisation
• External equality and absolute equality coincide in finite CCS and calculus without summation
• scientific article; zbMATH DE number 1361141 (Why is no real title available?)
• scientific article; zbMATH DE number 1082078 (Why is no real title available?)
• scientific article; zbMATH DE number 1927579 (Why is no real title available?)
• scientific article; zbMATH DE number 1759443 (Why is no real title available?)
• A \(\pi \)-calculus with explicit substitutions: the late semantics

Describes a project that uses

Uses Software

• HOL

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 Q3024855)