Dynamic role authorization in multiparty conversations

DOI10.1007/s00165-016-0363-5zbMath1345.68235arXiv1408.5977WikidataQ57652357 ScholiaQ57652357MaRDI QIDQ315294

Silvia Ghilezan, Jovanka Pantović, Jorge A. Pérez, Svetlana Jakšić, Hugo Torres Vieira

Publication date: 20 September 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

software verification; type systems; process calculi; behavioral types; authorization control

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)