scientific article; zbMATH DE number 7362457

zbMath1464.68247arXiv1408.1455MaRDI QIDQ4995153

Thomas Given-Wilson

Publication date: 23 June 2021

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

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

Mathematics Subject Classification ID

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

Related Items (2)

On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Expressiveness of concurrent intensionality

This page was built for publication: