Approximating Weak Bisimilarity of Basic Parallel Processes. Hofman, P. & Totzke, P. In Proceedings of EXPRESS/SOS, pages 99-113, 2012. Paper bibtex @inproceedings{ dblp2497386,
title = {Approximating Weak Bisimilarity of Basic Parallel Processes},
author = {Piotr Hofman and Patrick Totzke},
author_short = {Hofman, P. and Totzke, P.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp2497386},
id = {dblp2497386},
biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1208-2751},
url = {http://dx.doi.org/10.4204/EPTCS.89.8},
conference = {EXPRESS/SOS},
pages = {99-113},
text = {EXPRESS/SOS 2012:99-113},
booktitle = {Proceedings of EXPRESS/SOS}
}
Downloads: 0
{"_id":"b5SoEt3awACZaGzhz","bibbaseid":"hofman-totzke-approximatingweakbisimilarityofbasicparallelprocesses-2012","downloads":0,"creationDate":"2016-02-23T13:20:43.551Z","title":"Approximating Weak Bisimilarity of Basic Parallel Processes","author_short":["Hofman, P.","Totzke, P."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1208-2751","bibdata":{"title":"Approximating Weak Bisimilarity of Basic Parallel Processes","author":["Piotr Hofman","Patrick Totzke"],"author_short":["Hofman, P.","Totzke, P."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2497386","id":"dblp2497386","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1208-2751","url":"http://dx.doi.org/10.4204/EPTCS.89.8","conference":"EXPRESS/SOS","pages":"99-113","text":"EXPRESS/SOS 2012:99-113","booktitle":"Proceedings of EXPRESS/SOS","bibtex":"@inproceedings{ dblp2497386,\n title = {Approximating Weak Bisimilarity of Basic Parallel Processes},\n author = {Piotr Hofman and Patrick Totzke},\n author_short = {Hofman, P. and Totzke, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2497386},\n id = {dblp2497386},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1208-2751},\n url = {http://dx.doi.org/10.4204/EPTCS.89.8},\n conference = {EXPRESS/SOS},\n pages = {99-113},\n text = {EXPRESS/SOS 2012:99-113},\n booktitle = {Proceedings of EXPRESS/SOS}\n}","bibbaseid":"hofman-totzke-approximatingweakbisimilarityofbasicparallelprocesses-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.89.8"},"downloads":0},"search_terms":["approximating","weak","bisimilarity","basic","parallel","processes","hofman","totzke"],"keywords":[],"authorIDs":["56cc5caba2250d015300020e"],"dataSources":["684xf2qF7hayDMd5s"]}