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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zandron, C. (2009). Nadia Busi (1968–2007). In: Archibald, M., Brattka, V., Goranko, V., Löwe, B. (eds) Infinity in Logic and Computation. ILC 2007. Lecture Notes in Computer Science(), vol 5489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03092-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-03092-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03091-8
Online ISBN: 978-3-642-03092-5
eBook Packages: Computer ScienceComputer Science (R0)