scientific article; zbMATH DE number 7318988
From MaRDI portal
Publication:4965824
zbMath1457.68157arXiv1108.3127MaRDI QIDQ4965824
David de Frutos-Escrig, David Hernandez
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1108.3127
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
