scientific article; zbMATH DE number 7318985
From MaRDI portal
Publication:4965820
zbMath1457.68174arXiv1108.3124MaRDI QIDQ4965820
Anna Ingólfsdóttir, Eugen-Ioan Goriac, Georgiana Caltais, Luca Aceto
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1108.3124
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
