A Calculus for Modeling Floating Authorizations

DOI10.1007/978-3-319-92612-4_6OpenAlexW2963066690MaRDI QIDQ5881536

Ivan Prokić, Jovanka Pantović, Hugo Torres Vieira

Publication date: 10 March 2023

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-92612-4_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A calculus for modeling floating authorizations

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic role authorization in multiparty conversations
• Dynamic management of capabilities in a network aware coordination language
• Spatial and behavioral types in the pi-calculus
• Resource Usage Analysis for the Pi-Calculus