{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:46:37Z","timestamp":1725468397528},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387973753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040261","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:01:43Z","timestamp":1155834103000},"page":"247-270","source":"Crossref","is-referenced-by-count":1,"title":["Semantic models for total correctness and fairness"],"prefix":"10.1007","author":[{"given":"Michael G.","family":"Main","sequence":"first","affiliation":[]},{"given":"David L.","family":"Black","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Internal Report","volume-title":"Countable nondeterminism and random assignment","author":"K.R. Apt","year":"1982","unstructured":"K.R. Apt and G.D. Plotkin. Countable nondeterminism and random assignment, Internal Report CSR-98-82, Department of Computer Science, University of Edinburgh, Scotland, (January 1982). Revised version appears in JACM 33 (1986)."},{"key":"10_CR2","unstructured":"S. Bloom and Z. Esik. Floyd-Hoare Logic in Iteration Theories, Technical Report #8801, Stevens Institute of Technology, Electrical Engineering and Computer Science Department (January 1988)."},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"E.W. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs, CACM 18 (1975), 453\u2013457.","journal-title":"CACM"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"C.C. Elgot. Monadic computations and iterative algebraic theories, in: Logic Colloquium 73 (H.E. Rose and J.C. Sheperdson, Eds.), (North-Holland Publishing Co., 1975), 175\u2013230.","DOI":"10.1016\/S0049-237X(08)71949-9"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/0021-8693(76)90106-X","volume":"42","author":"C.C. Elgot","year":"1976","unstructured":"C.C. Elgot. Matricial Theories, J. Algebra 42 (1976), 391\u2013421.","journal-title":"J. Algebra"},{"key":"10_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"N. Francez. Fairness, Springer-Verlag, New York, 1986."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel. First-order dynamic logic, LNCS 68 (Springer-Verlag, 1979).","DOI":"10.1007\/3-540-09237-4"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"D. Harel and V.R. Pratt. Nondeterminism in Logic of Programs, in: Proceedings of the 5th ACM Symposium on Principles of Programming Languages (1978), 203\u2013213.","DOI":"10.1145\/512760.512782"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"W. Kuich and A. Salomaa. Semirings, Automata, Languages, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69959-7"},{"key":"10_CR10","first-page":"290","volume":"158","author":"M.G. Main","year":"1983","unstructured":"M.G. Main and D.B. Benson. Functional behavior of nondeterministic programs, in: Foundations of Computation Theory, LNCS 158, (Springer-Verlag, 1983), 290\u2013301.","journal-title":"LNCS"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/S0019-9958(84)80032-7","volume":"62","author":"M.G. Main","year":"1984","unstructured":"M.G. Main and D.B. Benson. Functional behavior of nondeterministic and concurrent programs, Information and Control 62 (1984), 144\u2013189.","journal-title":"Information and Control"},{"key":"10_CR12","unstructured":"E.G. Manes. Boolean Theories, preprint."},{"key":"10_CR13","unstructured":"E.G. Manes. Assertion semantics in a control category, Theoretical Computer Science, to appear."},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-19020-1_5","volume":"298","author":"E.G. Manes","year":"1988","unstructured":"E.G. Manes. Assertional Categories, in: Proceedings of the Third Workshop on Mathematical Semantics of Programming Languages, Lecture Notes in Computer Science 298, Springer-Verlag (1988), 85\u2013120.","journal-title":"Lecture Notes in Computer Science"},{"key":"10_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4962-7","volume-title":"Algebraic Approaches to Program Semantics","author":"E.G. Manes","year":"1986","unstructured":"E.G. Manes and M.A. Arbib. Algebraic Approaches to Program Semantics, Springer-Verlag, New York, 1986."},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF02572645","volume":"31","author":"E.G. Manes","year":"1985","unstructured":"E.G. Manes and D.B. Benson. The inverse semigroup of a sum-ordered semiring, Semigroup Forum 31 (1985), 129\u2013152.","journal-title":"Semigroup Forum"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040261.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:39:55Z","timestamp":1607549995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040261"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387973753"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0040261","relation":{},"subject":[]}}