Revealing the trajectories of KLAIM tuples, statically

DOI10.1007/978-3-030-21485-2_24MaRDI QIDQ6199116

Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta

Publication date: 23 February 2024

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11568/1000279

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Security Metrics at Work on the Things in IoT Systems

This page was built for publication: Revealing the trajectories of KLAIM tuples, statically