Advertisement

Nadia Busi (1968–2007)

Conference paper
  • 198 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5489)

Abstract

Nadia Busi obtained a Master in Computer Science in 1993, at the University of Bologna. In 1997 she obtained a PhD in Theoretical Computer Science at the University of Siena; her thesis entitled “Petri Nets with Inhibitor and Read Arcs: Semantics, Analysis and Application to Process Calculi” won the annual prize of the Italian Chapter of EATCS for the best Italian PhD thesis.

The scientific activity of Nadia was very broad, and covered different aspects of theoretical computer science. Her first interests concerned the investigation of expressiveness problems in concurrency theory. In collaboration with Roberto Gorrieri and Gianluigi Zavattaro, she studied primitive nets, a subclass of Petri nets with inhibitor arcs, investigating various decidable properties of such nets. She also studied different properties of various process calculi, by mapping them on primitive nets.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  1. 1.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità di Milano-BicoccaMilanoItaly

Personalised recommendations