Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship. Zwiers, J. Volume 321 of LNCS, PUB-SV, 1989. ![Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link bibtex @book{Zwiers89,
Author = {Zwiers, J.},
Bibsource = {DBLP, http://dblp.uni-trier.de},
Ee = {http://dx.doi.org/10.1007/BFb0020836},
Isbn = {3-540-50845-7},
Publisher = PUB-SV,
Series = LNCS,
Title = {Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship},
Volume = {321},
Year = {1989}}
Downloads: 0
{"_id":"GmZ8eMJ6vmRDuu7Xj","bibbaseid":"zwiers-compositionalityconcurrencyandpartialcorrectnessprooftheoriesfornetworksofprocessesandtheirrelationship-1989","authorIDs":[],"author_short":["Zwiers, J."],"bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Zwiers"],"firstnames":["J."],"suffixes":[]}],"bibsource":"DBLP, http://dblp.uni-trier.de","ee":"http://dx.doi.org/10.1007/BFb0020836","isbn":"3-540-50845-7","publisher":"PUB-SV","series":"LNCS","title":"Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship","volume":"321","year":"1989","bibtex":"@book{Zwiers89,\n\tAuthor = {Zwiers, J.},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tEe = {http://dx.doi.org/10.1007/BFb0020836},\n\tIsbn = {3-540-50845-7},\n\tPublisher = PUB-SV,\n\tSeries = LNCS,\n\tTitle = {Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship},\n\tVolume = {321},\n\tYear = {1989}}\n\n","author_short":["Zwiers, J."],"key":"Zwiers89","id":"Zwiers89","bibbaseid":"zwiers-compositionalityconcurrencyandpartialcorrectnessprooftheoriesfornetworksofprocessesandtheirrelationship-1989","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/BFb0020836"},"downloads":0,"html":""},"bibtype":"book","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.573Z","downloads":0,"keywords":[],"search_terms":["compositionality","concurrency","partial","correctness","proof","theories","networks","processes","relationship","zwiers"],"title":"Compositionality, Concurrency and Partial Correctness - Proof Theories for Networks of Processes, and Their Relationship","year":1989,"dataSources":["7Z8XEkSJX2s636QcA"]}