On Guarded Commands with Fair Choice. Sekerinski, E. In Backhouse, R. & Oliveira, J., editors, 5th International Conference on the Mathematics of Program Construction, MPC 2000, volume 1837, of Lecture Notes in Computer Science, pages 127–139, Ponte de Lima, Portugal, July, 2000. Springer-Verlag. CitationKey: Sekerinski00FairChoicedoi abstract bibtex 1 download For the purpose of program development, fairness is typically formalized by verification rules or, alternatively, through refinement rules. In this paper we give an account of (weak) fairness in an algebraic style, extending recently proposed algebraic accounts of iterations and loops using the predicate transformer model of statements.
@inproceedings{sekerinski_guarded_2000,
address = {Ponte de Lima, Portugal},
series = {Lecture {Notes} in {Computer} {Science}},
title = {On {Guarded} {Commands} with {Fair} {Choice}},
volume = {1837},
doi = {10.1007/10722010_9},
abstract = {For the purpose of program development, fairness is typically formalized by verification rules or, alternatively, through refinement rules. In this paper we give an account of (weak) fairness in an algebraic style, extending recently proposed algebraic accounts of iterations and loops using the predicate transformer model of statements.},
booktitle = {5th {International} {Conference} on the {Mathematics} of {Program} {Construction}, {MPC} 2000},
publisher = {Springer-Verlag},
author = {Sekerinski, Emil},
editor = {Backhouse, Roland and Oliveira, Jose},
month = jul,
year = {2000},
note = {CitationKey: Sekerinski00FairChoice},
pages = {127--139},
}
Downloads: 1
{"_id":"95rwe3axQ5QkGdYhQ","bibbaseid":"sekerinski-onguardedcommandswithfairchoice-2000","downloads":1,"creationDate":"2019-02-02T15:48:53.601Z","title":"On Guarded Commands with Fair Choice","author_short":["Sekerinski, E."],"year":2000,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Ponte de Lima, Portugal","series":"Lecture Notes in Computer Science","title":"On Guarded Commands with Fair Choice","volume":"1837","doi":"10.1007/10722010_9","abstract":"For the purpose of program development, fairness is typically formalized by verification rules or, alternatively, through refinement rules. In this paper we give an account of (weak) fairness in an algebraic style, extending recently proposed algebraic accounts of iterations and loops using the predicate transformer model of statements.","booktitle":"5th International Conference on the Mathematics of Program Construction, MPC 2000","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Backhouse"],"firstnames":["Roland"],"suffixes":[]},{"propositions":[],"lastnames":["Oliveira"],"firstnames":["Jose"],"suffixes":[]}],"month":"July","year":"2000","note":"CitationKey: Sekerinski00FairChoice","pages":"127–139","bibtex":"@inproceedings{sekerinski_guarded_2000,\n\taddress = {Ponte de Lima, Portugal},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {On {Guarded} {Commands} with {Fair} {Choice}},\n\tvolume = {1837},\n\tdoi = {10.1007/10722010_9},\n\tabstract = {For the purpose of program development, fairness is typically formalized by verification rules or, alternatively, through refinement rules. In this paper we give an account of (weak) fairness in an algebraic style, extending recently proposed algebraic accounts of iterations and loops using the predicate transformer model of statements.},\n\tbooktitle = {5th {International} {Conference} on the {Mathematics} of {Program} {Construction}, {MPC} 2000},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Backhouse, Roland and Oliveira, Jose},\n\tmonth = jul,\n\tyear = {2000},\n\tnote = {CitationKey: Sekerinski00FairChoice},\n\tpages = {127--139},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Backhouse, R.","Oliveira, J."],"key":"sekerinski_guarded_2000","id":"sekerinski_guarded_2000","bibbaseid":"sekerinski-onguardedcommandswithfairchoice-2000","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"search_terms":["guarded","commands","fair","choice","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}