scientific article; zbMATH DE number 6790142
From MaRDI portal
Publication:5367043
DOI10.23638/LMCS-13(3:5)2017zbMath1459.68013arXiv1610.08419MaRDI QIDQ5367043
Chiara Bodei, Letterio Galletta, Gian-Luigi Ferrari, Pierpaolo Degano
Publication date: 12 October 2017
Full work available at URL: https://arxiv.org/abs/1610.08419
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) Internet topics (68M11)
Related Items
On the security and safety of AbU systems ⋮ A type language for distributed reactive components governed by communication protocols ⋮ A semantic theory of the Internet of things ⋮ Measuring security in IoT communications ⋮ Security Metrics at Work on the Things in IoT Systems ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ A probabilistic calculus of cyber-physical systems
