An Algebraic Approach to Refinement with Fair Choice. Sekerinski, E. Electr. Notes Theor. Comput. Sci., 214:51–79, 2008.
Paper doi bibtex @article{DBLP:journals/entcs/Sekerinski08,
author = {Emil Sekerinski},
title = {An Algebraic Approach to Refinement with Fair Choice},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {214},
pages = {51--79},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.06.004},
doi = {10.1016/j.entcs.2008.06.004},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/entcs/Sekerinski08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"itQateiCR4SAi9hLh","bibbaseid":"sekerinski-analgebraicapproachtorefinementwithfairchoice-2008","downloads":0,"creationDate":"2019-02-02T15:48:53.589Z","title":"An Algebraic Approach to Refinement with Fair Choice","author_short":["Sekerinski, E."],"year":2008,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Emil"],"propositions":[],"lastnames":["Sekerinski"],"suffixes":[]}],"title":"An Algebraic Approach to Refinement with Fair Choice","journal":"Electr. Notes Theor. Comput. Sci.","volume":"214","pages":"51–79","year":"2008","url":"https://doi.org/10.1016/j.entcs.2008.06.004","doi":"10.1016/j.entcs.2008.06.004","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/entcs/Sekerinski08","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/entcs/Sekerinski08,\n author = {Emil Sekerinski},\n title = {An Algebraic Approach to Refinement with Fair Choice},\n journal = {Electr. Notes Theor. Comput. Sci.},\n volume = {214},\n pages = {51--79},\n year = {2008},\n url = {https://doi.org/10.1016/j.entcs.2008.06.004},\n doi = {10.1016/j.entcs.2008.06.004},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/entcs/Sekerinski08},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Sekerinski, E."],"key":"DBLP:journals/entcs/Sekerinski08","id":"DBLP:journals/entcs/Sekerinski08","bibbaseid":"sekerinski-analgebraicapproachtorefinementwithfairchoice-2008","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2008.06.004"},"downloads":0},"search_terms":["algebraic","approach","refinement","fair","choice","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}