Art of modelling computational systems: a journey from logic and concurrency to security and privacy, the: essays dedicated to catuscia palamidessi on the occasion of her 60th birthday
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030311742
Date de publication :
12 sept. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
​​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.