scientific article; zbMATH DE number 7015117
From MaRDI portal
Publication:4619824
zbMath1404.68003MaRDI QIDQ4619824
Davide Sangiorgi, Jos C. M. Baeten
Publication date: 7 February 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) History of mathematics in the 21st century (01A61) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) History of computer science (68-03)
Related Items (2)
Equivalence checking 40 years after: a review of bisimulation tools ⋮ The \(C_\pi\)-calculus: a model for confidential name passing
This page was built for publication:
