@inproceedings{DBLP:conf/concur/VeglioniN98,
  author    = {Simone Veglioni and
               Rocco De Nicola},
  editor    = {Davide Sangiorgi and
               Robert de Simone},
  title     = {Possible Worlds for Process Algebras},
  booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
               France, September 8-11, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1466},
  pages     = {179--193},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0055623},
  doi       = {10.1007/BFb0055623},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/VeglioniN98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"7nGmNQ7r9qQ39KQoA","bibbaseid":"veglioni-nicola-possibleworldsforprocessalgebras-1998","authorIDs":[],"author_short":["Veglioni, S.","Nicola, R. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Simone"],"propositions":[],"lastnames":["Veglioni"],"suffixes":[]},{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]}],"editor":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Sangiorgi"],"suffixes":[]},{"firstnames":["Robert"],"propositions":["de"],"lastnames":["Simone"],"suffixes":[]}],"title":"Possible Worlds for Process Algebras","booktitle":"CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings","series":"Lecture Notes in Computer Science","volume":"1466","pages":"179–193","publisher":"Springer","year":"1998","url":"https://doi.org/10.1007/BFb0055623","doi":"10.1007/BFb0055623","timestamp":"Tue, 14 May 2019 10:00:43 +0200","biburl":"https://dblp.org/rec/conf/concur/VeglioniN98.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/concur/VeglioniN98,\n author = {Simone Veglioni and\n Rocco De Nicola},\n editor = {Davide Sangiorgi and\n Robert de Simone},\n title = {Possible Worlds for Process Algebras},\n booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,\n France, September 8-11, 1998, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1466},\n pages = {179--193},\n publisher = {Springer},\n year = {1998},\n url = {https://doi.org/10.1007/BFb0055623},\n doi = {10.1007/BFb0055623},\n timestamp = {Tue, 14 May 2019 10:00:43 +0200},\n biburl = {https://dblp.org/rec/conf/concur/VeglioniN98.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Veglioni, S.","Nicola, R. D."],"editor_short":["Sangiorgi, D.","de Simone, R."],"key":"DBLP:conf/concur/VeglioniN98","id":"DBLP:conf/concur/VeglioniN98","bibbaseid":"veglioni-nicola-possibleworldsforprocessalgebras-1998","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0055623"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.672Z","downloads":0,"keywords":[],"search_terms":["possible","worlds","process","algebras","veglioni","nicola"],"title":"Possible Worlds for Process Algebras","year":1998,"dataSources":["FxajFA698pihqBfpX"]}