Partial orderings descriptions and observations of nondeterministic concurrent processes. Degano, P., De Nicola, R., & Montanari, U. In de Bakker, J. W., de Roever, W. P., & Rozenberg, G., editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, volume 354, of Lecture Notes in Computer Science, pages 438–466, 1988. Springer. Paper doi bibtex @inproceedings{DBLP:conf/rex/DeganoNM88,
author = {Pierpaolo Degano and
Rocco {De Nicola} and
Ugo Montanari},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Partial orderings descriptions and observations of nondeterministic
concurrent processes},
booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models
for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
May 30 - June 3, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {354},
pages = {438--466},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013030},
doi = {10.1007/BFb0013030},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/rex/DeganoNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"bRDtoJA4f3m7RwAHq","bibbaseid":"degano-denicola-montanari-partialorderingsdescriptionsandobservationsofnondeterministicconcurrentprocesses-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":[]}],"editor":[{"firstnames":["J.","W."],"propositions":["de"],"lastnames":["Bakker"],"suffixes":[]},{"firstnames":["Willem","P."],"propositions":["de"],"lastnames":["Roever"],"suffixes":[]},{"firstnames":["Grzegorz"],"propositions":[],"lastnames":["Rozenberg"],"suffixes":[]}],"title":"Partial orderings descriptions and observations of nondeterministic concurrent processes","booktitle":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings","series":"Lecture Notes in Computer Science","volume":"354","pages":"438–466","publisher":"Springer","year":"1988","url":"https://doi.org/10.1007/BFb0013030","doi":"10.1007/BFb0013030","timestamp":"Tue, 14 May 2019 10:00:52 +0200","biburl":"https://dblp.org/rec/conf/rex/DeganoNM88.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/rex/DeganoNM88,\n author = {Pierpaolo Degano and\n Rocco {De Nicola} and\n Ugo Montanari},\n editor = {J. W. de Bakker and\n Willem P. de Roever and\n Grzegorz Rozenberg},\n title = {Partial orderings descriptions and observations of nondeterministic\n concurrent processes},\n booktitle = {Linear Time, Branching Time and Partial Order in Logics and Models\n for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,\n May 30 - June 3, 1988, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {354},\n pages = {438--466},\n publisher = {Springer},\n year = {1988},\n url = {https://doi.org/10.1007/BFb0013030},\n doi = {10.1007/BFb0013030},\n timestamp = {Tue, 14 May 2019 10:00:52 +0200},\n biburl = {https://dblp.org/rec/conf/rex/DeganoNM88.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Degano, P.","De Nicola, R.","Montanari, U."],"editor_short":["de Bakker, J. W.","de Roever, W. P.","Rozenberg, G."],"key":"DBLP:conf/rex/DeganoNM88","id":"DBLP:conf/rex/DeganoNM88","bibbaseid":"degano-denicola-montanari-partialorderingsdescriptionsandobservationsofnondeterministicconcurrentprocesses-1988","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0013030"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-05-13T16:09:46.848Z","downloads":0,"keywords":[],"search_terms":["partial","orderings","descriptions","observations","nondeterministic","concurrent","processes","degano","de nicola","montanari"],"title":"Partial orderings descriptions and observations of nondeterministic concurrent processes","year":1988,"dataSources":["FxajFA698pihqBfpX"]}