This Festschrift volume mainly contains 22 refereed research papers and one extended abstract by close collaborators and friends of Pierpaolo Degano to celebrate him on the occasion of his 65th birthday. The foreword of this volume includes a laudatio that illustrates the distinguished career and the main scientific contributions by Pierpaolo Degano and a portrait of him made by one of his closest friends. The following sections are dedicated to the scientific papers on the main research topics explored by Pierpaolo Degano and still under his investigation, among which formal program semantics, concurrency theory, systems biology and security, and much more.
Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday.
BODEI, CHIARA;FERRARI, GIAN-LUIGI;Priami, Corrado
2015-01-01
Abstract
This Festschrift volume mainly contains 22 refereed research papers and one extended abstract by close collaborators and friends of Pierpaolo Degano to celebrate him on the occasion of his 65th birthday. The foreword of this volume includes a laudatio that illustrates the distinguished career and the main scientific contributions by Pierpaolo Degano and a portrait of him made by one of his closest friends. The following sections are dedicated to the scientific papers on the main research topics explored by Pierpaolo Degano and still under his investigation, among which formal program semantics, concurrency theory, systems biology and security, and much more.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
