@article{780865,
      author = {Gorrieri, Roberto,},
      url = {http://library.usi.edu/record/780865},
      title = {Process algebras for Petri nets : the alphabetization of  distributed systems /},
      recid = {780865},
      pages = {1 online resource :},
}