scientific article; zbMATH DE number 7167587
From MaRDI portal
Publication:5216079
zbMath1433.68256arXiv1410.7470MaRDI QIDQ5216079
Publication date: 14 February 2020
Full work available at URL: https://arxiv.org/abs/1410.7470
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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) Structure theory of Boolean algebras (06E05) Semilattices (06A12)
This page was built for publication:
