scientific article; zbMATH DE number 2154399

zbMath1063.68073MaRDI QIDQ4664925

Murdoch James Gabbay

Publication date: 9 April 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Fraenkel Mostowski

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Fresh logic: Proof-theory and semantics for FM and nominal techniques ⋮ A general mathematics of names ⋮ Unnamed Item ⋮ Behavioural equivalences for dynamic web data ⋮ Hard Life with Weak Binders ⋮ \(\mathrm{HO}\pi\) in Coq ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle

This page was built for publication: