scientific article; zbMATH DE number 7318987
From MaRDI portal
Publication:4965823
zbMath1457.68156arXiv1108.3126MaRDI QIDQ4965823
Hayo Thielecke, Asiri Rathnayake
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1108.3126
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)
Related Items (1)
This page was built for publication: