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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Alvim, Mário S. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Chatzikokolakis, Kostas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Olarte, Carlos (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Valencia, Frank (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Theoretical Computer Science and General Issues ; 11760
• Θέματα: 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...