On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract). Degano, P., De Nicola, R., & Montanari, U. In Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), Edinburgh, Scotland, UK, July 5-8, 1988, pages 133–141, 1988. IEEE Computer Society. Paper doi bibtex @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}
}
Downloads: 0
{"_id":"SBjN3L7Xg5zEchjqE","bibbaseid":"degano-denicola-montanari-ontheconsistencyoftrulyconcurrentoperationalanddenotationalsemanticsextendedabstract-1988","authorIDs":["xMtf3sJqpfDS3bpdB"],"author_short":["Degano, P.","De Nicola, R.","Montanari, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pierpaolo"],"propositions":[],"lastnames":["Degano"],"suffixes":[]},{"firstnames":["Rocco"],"propositions":[],"lastnames":["De 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.","De Nicola, R.","Montanari, U."],"key":"DBLP:conf/lics/DeganoNM88","id":"DBLP:conf/lics/DeganoNM88","bibbaseid":"degano-denicola-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-05-13T16:09:46.848Z","downloads":0,"keywords":[],"search_terms":["consistency","truly","concurrent","operational","denotational","semantics","extended","abstract","degano","de nicola","montanari"],"title":"On the Consistency of \"Truly Concurrent\" Operational and Denotational Semantics (Extended Abstract)","year":1988,"dataSources":["FxajFA698pihqBfpX"]}