scientific article; zbMATH DE number 7167778

zbMath1433.68253arXiv1508.04854MaRDI QIDQ5216155

Thomas Given-Wilson, Axel Legay

Publication date: 14 February 2020

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

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: