scientific article; zbMATH DE number 7319029
From MaRDI portal
Publication:4965856
zbMath1457.68182arXiv1108.4465MaRDI QIDQ4965856
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Sara Capecchi
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1108.4465
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)
Related Items (6)
Reversibility in session-based concurrency: a fresh look ⋮ Unnamed Item ⋮ Typing access control and secure information flow in sessions ⋮ Lightening global types ⋮ Monitoring networks through multiparty session types ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types
This page was built for publication:
