The art of modelling computational systems : a journey from logic and concurrency to security and privacy /
The art of modelling computational systems : a journey from logic and concurrency to security and privacy /
edited by Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte [and] Frank Valencia.
- Brazil : Springer, c2019.
- xxxiv, 459p. ; 24 cm.
Includes bibliographical references and index.
Concurrency -- Logic and constraint programming -- Security and privacy -- Models and puzzles.
9783030311742
QA76.7 / .A48 2019
Includes bibliographical references and index.
Concurrency -- Logic and constraint programming -- Security and privacy -- Models and puzzles.
9783030311742
QA76.7 / .A48 2019