Mathematical structures in computer science (MSCS)

• 

  Año 2009, Vol. 19, Número 6

  • Seleccionado

    Foreword: special issue in memory of Nadia Busi

    Luca Aceto, Anna Ingolfsdottir

    págs. 1061-1064

    
  • Seleccionado

    Structural non-interference in elementary and trace nets

    Nadia Busi, Roberto Gorrieri

    págs. 1065-1090

    
  • Seleccionado

    Process discovery and petri nets

    Nadia Busi, G. Michele Pinna

    págs. 1091-1124

    
  • Seleccionado

    Deciding reachability problems in Turing-complete fragments of Mobile Ambients

    Nadia Busi, Gianluigi Zavattaro

    págs. 1123-1264

    
  • Seleccionado

    Efficient computation in rational-valued P systems

    Nadia Busi, Miguel Ángel Gutiérrez Naranjo , Mario de Jesús Pérez Jiménez

    • Texto completo

    págs. 1125-1140

    
  • Seleccionado

    P systems with cell polarity

    Daniela Besozzi, Nadia Busi, Paolo Cazzaniga, Claudio Ferretti, Alberto Leporati, Giancarlo Mauri, Dario Pescini, Claudio Zandron

    págs. 1141-1160

    
  • Seleccionado

    An expressiveness study of priority in process calculi

    Cristian Versari, Nadia Busi, Roberto Gorrieri

    págs. 1161-1190

    
  • Seleccionado

    On the expressive power of recursion, replication and iteration in process calculi

    Nadia Busi, Maurizio Gabbrielli , Gianluigi Zavattaro

    págs. 1191-1222

    
  • Seleccionado

    Mobile Petri nets

    A. Asperti, Nadia Busi

    págs. 1265-1278

    
  • Seleccionado

    Nadia Busi's publications

    Gianluigi Zavattaro

    págs. 1279-1285