@inproceedings{DBLP:conf/lics/DeganoNM88,
  author    = {Pierpaolo Degano and
               Rocco De Nicola and
               Ugo Montanari},
  title     = {On the Consistency of "Truly Concurrent" Operational and Denotational
               Semantics (Extended Abstract)},
  booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
               {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  pages     = {133--141},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {https://doi.org/10.1109/LICS.1988.5112},
  doi       = {10.1109/LICS.1988.5112},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/DeganoNM88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"KzHco6Etz7DXJmK4a","bibbaseid":"degano-nicola-montanari-ontheconsistencyoftrulyconcurrentoperationalanddenotationalsemanticsextendedabstract-1988","authorIDs":[],"author_short":["Degano, P.","Nicola, R. D.","Montanari, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pierpaolo"],"propositions":[],"lastnames":["Degano"],"suffixes":[]},{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Ugo"],"propositions":[],"lastnames":["Montanari"],"suffixes":[]}],"title":"On the Consistency of \"Truly Concurrent\" Operational and Denotational Semantics (Extended Abstract)","booktitle":"Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988","pages":"133–141","publisher":"IEEE Computer Society","year":"1988","url":"https://doi.org/10.1109/LICS.1988.5112","doi":"10.1109/LICS.1988.5112","timestamp":"Wed, 16 Oct 2019 14:14:54 +0200","biburl":"https://dblp.org/rec/conf/lics/DeganoNM88.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/DeganoNM88,\n author = {Pierpaolo Degano and\n Rocco De Nicola and\n Ugo Montanari},\n title = {On the Consistency of \"Truly Concurrent\" Operational and Denotational\n Semantics (Extended Abstract)},\n booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science\n {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},\n pages = {133--141},\n publisher = {{IEEE} Computer Society},\n year = {1988},\n url = {https://doi.org/10.1109/LICS.1988.5112},\n doi = {10.1109/LICS.1988.5112},\n timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},\n biburl = {https://dblp.org/rec/conf/lics/DeganoNM88.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Degano, P.","Nicola, R. D.","Montanari, U."],"key":"DBLP:conf/lics/DeganoNM88","id":"DBLP:conf/lics/DeganoNM88","bibbaseid":"degano-nicola-montanari-ontheconsistencyoftrulyconcurrentoperationalanddenotationalsemanticsextendedabstract-1988","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.1988.5112"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.699Z","downloads":0,"keywords":[],"search_terms":["consistency","truly","concurrent","operational","denotational","semantics","extended","abstract","degano","nicola","montanari"],"title":"On the Consistency of \"Truly Concurrent\" Operational and Denotational Semantics (Extended Abstract)","year":1988,"dataSources":["FxajFA698pihqBfpX"]}