Logics for actor networks: a case study in constrained hybridization

DOI10.1007/978-3-319-73579-5_7zbMath1423.68049OpenAlexW2781738122MaRDI QIDQ1742623

Dusko Pavlovic, Ionuţ Ţuţu, Antónia Lopes, José Luiz Fiadeiro

Publication date: 12 April 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-73579-5_7

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Network protocols (68M12)

Related Items (2)

Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL

This page was built for publication: Logics for actor networks: a case study in constrained hybridization