@article{bocchi_resolving_2019,
	title = {On {Resolving} {Non}-determinism in {Choreographies}},
	volume = {abs/1904.08337},
	url = {http://arxiv.org/abs/1904.08337},
	journal = {CoRR},
	author = {Bocchi, Laura and Melgratti, Hernán C. and Tuosto, Emilio},
	year = {2019},
	note = {\_eprint: 1904.08337},
}

{"_id":"KEiaZ2Dh2JYJ5fjX7","bibbaseid":"bocchi-melgratti-tuosto-onresolvingnondeterminisminchoreographies-2019","authorIDs":[],"author_short":["Bocchi, L.","Melgratti, H. C.","Tuosto, E."],"bibdata":{"bibtype":"article","type":"article","title":"On Resolving Non-determinism in Choreographies","volume":"abs/1904.08337","url":"http://arxiv.org/abs/1904.08337","journal":"CoRR","author":[{"propositions":[],"lastnames":["Bocchi"],"firstnames":["Laura"],"suffixes":[]},{"propositions":[],"lastnames":["Melgratti"],"firstnames":["Hernán","C."],"suffixes":[]},{"propositions":[],"lastnames":["Tuosto"],"firstnames":["Emilio"],"suffixes":[]}],"year":"2019","note":"_eprint: 1904.08337","bibtex":"@article{bocchi_resolving_2019,\n\ttitle = {On {Resolving} {Non}-determinism in {Choreographies}},\n\tvolume = {abs/1904.08337},\n\turl = {http://arxiv.org/abs/1904.08337},\n\tjournal = {CoRR},\n\tauthor = {Bocchi, Laura and Melgratti, Hernán C. and Tuosto, Emilio},\n\tyear = {2019},\n\tnote = {\\_eprint: 1904.08337},\n}\n\n","author_short":["Bocchi, L.","Melgratti, H. C.","Tuosto, E."],"key":"bocchi_resolving_2019","id":"bocchi_resolving_2019","bibbaseid":"bocchi-melgratti-tuosto-onresolvingnondeterminisminchoreographies-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1904.08337"},"downloads":0},"bibtype":"article","biburl":"https://drive.google.com/uc?export=download&id=1Yz9Tay6l8reLuIpeLRQenrn7GKZ--M4o","creationDate":"2020-11-09T07:55:15.584Z","downloads":0,"keywords":[],"search_terms":["resolving","non","determinism","choreographies","bocchi","melgratti","tuosto"],"title":"On Resolving Non-determinism in Choreographies","year":2019,"dataSources":["3w7wESM3KavuMMg2b"]}