@inproceedings{DBLP:conf/strict/NicolaP95,
  author    = {Rocco {De Nicola} and
               Rosario Pugliese},
  editor    = {J{\"{o}}rg Desel},
  title     = {An Observational Semantics for Linda},
  booktitle = {Proceedings of the International Workshop on Structures in Concurrency
               Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
  series    = {Workshops in Computing},
  pages     = {129--143},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-1-4471-3078-9\_9},
  doi       = {10.1007/978-1-4471-3078-9\_9},
  timestamp = {Tue, 25 Jun 2019 18:06:54 +0200},
  biburl    = {https://dblp.org/rec/conf/strict/NicolaP95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xgshnLtMyvpbihAzr","bibbaseid":"denicola-pugliese-anobservationalsemanticsforlinda-1995","authorIDs":["xMtf3sJqpfDS3bpdB"],"author_short":["De Nicola, R.","Pugliese, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Rosario"],"propositions":[],"lastnames":["Pugliese"],"suffixes":[]}],"editor":[{"firstnames":["Jörg"],"propositions":[],"lastnames":["Desel"],"suffixes":[]}],"title":"An Observational Semantics for Linda","booktitle":"Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995","series":"Workshops in Computing","pages":"129–143","publisher":"Springer","year":"1995","url":"https://doi.org/10.1007/978-1-4471-3078-9_9","doi":"10.1007/978-1-4471-3078-9_9","timestamp":"Tue, 25 Jun 2019 18:06:54 +0200","biburl":"https://dblp.org/rec/conf/strict/NicolaP95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/strict/NicolaP95,\n author = {Rocco {De Nicola} and\n Rosario Pugliese},\n editor = {J{\\\"{o}}rg Desel},\n title = {An Observational Semantics for Linda},\n booktitle = {Proceedings of the International Workshop on Structures in Concurrency\n Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},\n series = {Workshops in Computing},\n pages = {129--143},\n publisher = {Springer},\n year = {1995},\n url = {https://doi.org/10.1007/978-1-4471-3078-9\\_9},\n doi = {10.1007/978-1-4471-3078-9\\_9},\n timestamp = {Tue, 25 Jun 2019 18:06:54 +0200},\n biburl = {https://dblp.org/rec/conf/strict/NicolaP95.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Nicola, R.","Pugliese, R."],"editor_short":["Desel, J."],"key":"DBLP:conf/strict/NicolaP95","id":"DBLP:conf/strict/NicolaP95","bibbaseid":"denicola-pugliese-anobservationalsemanticsforlinda-1995","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-1-4471-3078-9_9"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-05-13T16:09:46.840Z","downloads":0,"keywords":[],"search_terms":["observational","semantics","linda","de nicola","pugliese"],"title":"An Observational Semantics for Linda","year":1995,"dataSources":["FxajFA698pihqBfpX"]}