scientific article; zbMATH DE number 7356837
From MaRDI portal
Publication:4992496
zbMath1464.68234arXiv1307.7440MaRDI QIDQ4992496
Iliano Cervesato, Jorge Luis Sacchini
Publication date: 9 June 2021
Full work available at URL: https://arxiv.org/abs/1307.7440
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
This page was built for publication:
