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

Revision as of 18:09, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2010415

Jump to:navigation, search

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

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (3)

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

This page was built for publication: 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2010415&oldid=14474161"