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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Alvim, Mário S. (Editor, http://id.loc.gov/vocabulary/relators/edt), Chatzikokolakis, Kostas (Editor, http://id.loc.gov/vocabulary/relators/edt), Olarte, Carlos (Editor, http://id.loc.gov/vocabulary/relators/edt), Valencia, Frank (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Theoretical Computer Science and General Issues ; 11760
• Subjects: Computers.; Software engineering.; Artificial intelligence.; Computer logic.; Mathematical statistics.; Computer security.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Logic in AI.; Probability and Statistics in Computer Science.; Systems and Data Security.

This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; lo...