{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:20Z","timestamp":1725664520726},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602187"},{"type":"electronic","value":"9783540447382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60218-6_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:51:25Z","timestamp":1330278685000},"page":"363-377","source":"Crossref","is-referenced-by-count":2,"title":["Metric predicate transformers: Towards a notion of refinement for concurrency"],"prefix":"10.1007","author":[{"given":"Marcello M.","family":"Bonsangue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Vink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"3","key":"27_CR1","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0022-0000(89)90027-5","volume":"39","author":"P. America","year":"1989","unstructured":"P. America and J.J.M.M. Rutten. Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. Journal of Computer and System Sciences, 39(3):343\u2013375, 1989.","journal-title":"Journal of Computer and System Sciences"},{"key":"27_CR2","volume-title":"volume 131 of Mathematical Centre Tracts","author":"R.-J.R. Back","year":"1980","unstructured":"R.-J.R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Centre Tracts. CWI, Amsterdam, 1980."},{"key":"27_CR3","first-page":"111","volume-title":"25 jaar Semantiek","author":"E. Best","year":"1989","unstructured":"E. Best. Towards Compositional Predicate Transformer Semantics for Concurrent Programs. In J.W. de Bakker, 25 jaar Semantiek, pages 111\u2013117, CWI, Amsterdam, 1989."},{"key":"27_CR4","first-page":"822","volume":"789","author":"M.M. Bonsangue","year":"1994","unstructured":"M.M. Bonsangue and J.N. Kok. Relating Multifunctions and Predicate Transformers through Closure Operators. pages 822\u2013843. LNCS 789, 1994.","journal-title":"LNCS"},{"key":"27_CR5","unstructured":"M.M. Bonsangue, J.N. Kok, and E.P. de Vink. Metric Predicate Transformers: Towards a Notion of Refinement for Concurrent Programs. Report IR-371, Vrije Universiteit Amsterdam, 1994. Available through anonymous ftp from ftp.cs.vu.nl as pub\/papers\/theory\/IR-371.ps.Z."},{"key":"27_CR6","first-page":"107","volume-title":"Proc. Programming Concepts, Methods and Calculi","author":"R. J. Back","year":"1994","unstructured":"R. J.R. Back and K. Sere. Action Systems with Synchronous Communication. In E.-R. Olderog, editor, Proc. Programming Concepts, Methods and Calculi, pages 107\u2013126. IFIP, North Holland, 1994."},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J.W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J.I. Zucker. Processes and the Denotational Semantics of Concurrency. Information and Control, 54:70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"27_CR9","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(88)90143-0","volume":"59","author":"W.H. Hesselink","year":"1988","unstructured":"W.H. Hesselink. Deadlock and fairness in morphisms of transition systems. Theoretical Computer Science, 59:235\u2013257, 1988.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"27_CR11","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/78969.78970","volume":"12","author":"L. Lamport","year":"1990","unstructured":"L. Lamport. Win and sin: Predicate Transformers for Concurrency. ACM Transaction on Programming Languages and Systems, 12(3):396\u2013428, 1990.","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"27_CR12","volume-title":"Report CS-R9313","author":"N.A. Lynch","year":"1993","unstructured":"N.A. Lynch and F.W. Vaandrager. Forward and Backward Simulation \u2014 Part I: Untimed Systems. Report CS-R9313, CWI, Amsterdam, 1993. To appear in Information and Computation."},{"key":"27_CR13","first-page":"527","volume":"86","author":"G.D. Plotkin","year":"1979","unstructured":"G.D. Plotkin. Dijkstra's Predicate Transformer and Smyth's Powerdomain. pages 527\u2013553. LNCS 86, 1979.","journal-title":"LNCS"},{"issue":"6","key":"27_CR14","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0020-0190(92)90116-D","volume":"43","author":"D. Scholefield","year":"1992","unstructured":"D. Scholefield and H.S.M. Zedan. Weakest Precondition Semantics for Time and Concurrency. Information Processing Letters, 43(6):301\u2013308, 1992.","journal-title":"Information Processing Letters"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/158439.158441","volume":"25","author":"A. U. Shankar","year":"1993","unstructured":"A. Udaya Shankar. An Introduction to Assertional Reasoning for Concurrent Systems. ACM Computing Surveys, 25:225\u2013262, 1993.","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","CONCUR '95: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60218-6_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:00Z","timestamp":1605646560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60218-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602187","9783540447382"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60218-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}