scientific article; zbMATH DE number 7730622

DOI10.4230/LIPICS.CONCUR.2021.20arXiv2105.05133MaRDI QIDQ6134265

No author found.

Publication date: 21 August 2023

Full work available at URL: https://arxiv.org/abs/2105.05133

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

simulationprocess algebratheorem provingcoinduction

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Formally verified animation for RoboChart using interaction trees

This page was built for publication: