@inproceedings{DBLP:conf/icalp/BorealeNP97,
  author    = {Michele Boreale and
               Rocco De Nicola and
               Rosario Pugliese},
  editor    = {Pierpaolo Degano and
               Roberto Gorrieri and
               Alberto Marchetti{-}Spaccamela},
  title     = {Basic Observables for Processes},
  booktitle = {Automata, Languages and Programming, 24th International Colloquium,
               ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1256},
  pages     = {482--492},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63165-8\_204},
  doi       = {10.1007/3-540-63165-8\_204},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/BorealeNP97.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"n2YLnn5Txmnsy6bMp","bibbaseid":"boreale-nicola-pugliese-basicobservablesforprocesses-1997","authorIDs":[],"author_short":["Boreale, M.","Nicola, R. D.","Pugliese, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michele"],"propositions":[],"lastnames":["Boreale"],"suffixes":[]},{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Rosario"],"propositions":[],"lastnames":["Pugliese"],"suffixes":[]}],"editor":[{"firstnames":["Pierpaolo"],"propositions":[],"lastnames":["Degano"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Gorrieri"],"suffixes":[]},{"firstnames":["Alberto"],"propositions":[],"lastnames":["Marchetti-Spaccamela"],"suffixes":[]}],"title":"Basic Observables for Processes","booktitle":"Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings","series":"Lecture Notes in Computer Science","volume":"1256","pages":"482–492","publisher":"Springer","year":"1997","url":"https://doi.org/10.1007/3-540-63165-8_204","doi":"10.1007/3-540-63165-8_204","timestamp":"Tue, 14 May 2019 10:00:44 +0200","biburl":"https://dblp.org/rec/conf/icalp/BorealeNP97.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icalp/BorealeNP97,\n author = {Michele Boreale and\n Rocco De Nicola and\n Rosario Pugliese},\n editor = {Pierpaolo Degano and\n Roberto Gorrieri and\n Alberto Marchetti{-}Spaccamela},\n title = {Basic Observables for Processes},\n booktitle = {Automata, Languages and Programming, 24th International Colloquium,\n ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1256},\n pages = {482--492},\n publisher = {Springer},\n year = {1997},\n url = {https://doi.org/10.1007/3-540-63165-8\\_204},\n doi = {10.1007/3-540-63165-8\\_204},\n timestamp = {Tue, 14 May 2019 10:00:44 +0200},\n biburl = {https://dblp.org/rec/conf/icalp/BorealeNP97.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Boreale, M.","Nicola, R. D.","Pugliese, R."],"editor_short":["Degano, P.","Gorrieri, R.","Marchetti-Spaccamela, A."],"key":"DBLP:conf/icalp/BorealeNP97","id":"DBLP:conf/icalp/BorealeNP97","bibbaseid":"boreale-nicola-pugliese-basicobservablesforprocesses-1997","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-63165-8_204"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.674Z","downloads":0,"keywords":[],"search_terms":["basic","observables","processes","boreale","nicola","pugliese"],"title":"Basic Observables for Processes","year":1997,"dataSources":["FxajFA698pihqBfpX"]}