The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday
From MaRDI portal
Publication:2010415
DOI10.1007/978-3-030-31175-9zbMath1425.68003OpenAlexW2994867109MaRDI QIDQ2010415
No author found.
Publication date: 27 November 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-31175-9
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Theory of computing (68Qxx) Theory of software (68Nxx)
Related Items
Session coalgebras: a coalgebraic view on session types and communication protocols, Reasoning about distributed information with infinitely many agents, A process algebraic approach to reaction systems
