scientific article; zbMATH DE number 7361363
From MaRDI portal
Publication:4994701
zbMath1464.68080arXiv1309.5147MaRDI QIDQ4994701
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1309.5147
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
