Partial orderings descriptions and observations of nondeterministic concurrent processes. Degano, P., Nicola, R. D., & 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 = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/DeganoNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"XXbndCrn4Tn7wwht5","bibbaseid":"degano-nicola-montanari-partialorderingsdescriptionsandobservationsofnondeterministicconcurrentprocesses-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":[]}],"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":"Fri, 17 Jul 2020 16:12:47 +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 = {Fri, 17 Jul 2020 16:12:47 +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.","Nicola, R. D.","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-nicola-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-08-07T16:49:57.699Z","downloads":0,"keywords":[],"search_terms":["partial","orderings","descriptions","observations","nondeterministic","concurrent","processes","degano","nicola","montanari"],"title":"Partial orderings descriptions and observations of nondeterministic concurrent processes","year":1988,"dataSources":["FxajFA698pihqBfpX"]}