scientific article; zbMATH DE number 7339674
From MaRDI portal
Publication:4986260
zbMath1459.68029arXiv1208.2749MaRDI QIDQ4986260
Frank D. Valencia, Marco Giunti, Catuscia Palamidessi
Publication date: 27 April 2021
Full work available at URL: https://arxiv.org/abs/1208.2749
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)
Related Items (6)
A Calculus for Modeling Floating Authorizations ⋮ Dynamic role authorization in multiparty conversations ⋮ Algorithmic type checking for a pi-calculus with name matching and session types ⋮ Denotational semantics of channel mobility in UTP-CSP ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ A calculus for modeling floating authorizations
This page was built for publication:
