scientific article; zbMATH DE number 7317222

zbMath1457.68191arXiv1101.4429MaRDI QIDQ4964693

Luca Padovani

Publication date: 3 March 2021

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

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

Event-based run-time adaptation in communication-centric systems ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Global types with internal delegation

This page was built for publication: