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 / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia.

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Alvim, Mário S. (Editor), Chatzikokolakis, Kostas (Editor), Olarte, Carlos (Editor), Valencia, Frank (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Theoretical Computer Science and General Issues ; 11760 Springer eBook Collection.
Subjects:	Computers. Software engineering. Artificial intelligence. Computer logic. Mathematical statistics. Computer security. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.