scientific article; zbMATH DE number 7167777

zbMath1433.68260arXiv1508.04853MaRDI QIDQ5216154

Massimo Bartoletti, Alceste Scalas

Publication date: 14 February 2020

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

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 (1)

Lang-n-Send Extended: Sending Regular Expressions to Monitors

This page was built for publication: