scientific article; zbMATH DE number 7315073

zbMath1455.68083MaRDI QIDQ4963995

Paul van Tilburg, Tim M. Müller, Bas Luttik, Jos C. M. Baeten

Publication date: 24 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.1

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

Mathematics Subject Classification ID

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

Related Items (1)

Back to the format: a survey on SOS for probabilistic processes

This page was built for publication: