{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:41:06Z","timestamp":1725540066026},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642046384"},{"type":"electronic","value":"9783642046391"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04639-1_10","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T08:37:25Z","timestamp":1257237445000},"page":"134-149","source":"Crossref","is-referenced-by-count":6,"title":["A Semiring Approach to Equivalences, Bisimulations and Control"],"prefix":"10.1007","author":[{"given":"Roland","family":"Gl\u00fcck","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Sintzoff","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"10_CR2","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn., vol.\u00a0XXV. Colloquium Publications, American Mathematical Society (1967)"},{"key":"10_CR3","volume-title":"Graphs and Networks","author":"B. Carr\u00e9","year":"1979","unstructured":"Carr\u00e9, B.: Graphs and Networks. Oxford Univ. Press, Oxford (1979)"},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J. Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene algebra with domain. ACM Transactions on Computational Logic\u00a07, 798\u2013833 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-70594-9_9","volume-title":"Mathematics of Program Construction","author":"R. Gl\u00fcck","year":"2008","unstructured":"Gl\u00fcck, R., M\u00f6ller, B.: Circulations, fuzzy relations and semirings. In: Audebaud, P., Paulin-Mohring, C. (eds.) MPC 2008. LNCS, vol.\u00a05133, pp. 134\u2013152. Springer, Heidelberg (2008)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/11828563_17","volume-title":"Relations and Kleene Algebra in Computer Science","author":"Y. Kawahara","year":"2006","unstructured":"Kawahara, Y.: On the cardinality of relations. In: Schmidt, R.A. (ed.) RelMiCS\/AKA 2006. LNCS, vol.\u00a04136, pp. 251\u2013265. Springer, Heidelberg (2006)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF02572645","volume":"31","author":"E. Manes","year":"1985","unstructured":"Manes, E., Benson, D.: The inverse semigroup of a sum-ordered semiring. Semigroup Forum\u00a031, 129\u2013152 (1985)","journal-title":"Semigroup Forum"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-540-76637-7_24","volume-title":"Programming Languages and Systems","author":"D. Pous","year":"2007","unstructured":"Pous, D.: Complete lattices and up-to techniques. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 351\u2013366. Springer, Heidelberg (2007)"},{"key":"10_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-77968-8","volume-title":"Relations and Graphs: Discrete Mathematics for Computer Scientists","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs: Discrete Mathematics for Computer Scientists. Springer, Heidelberg (1993)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-70594-9_18","volume-title":"Mathematics of Program Construction","author":"M. Sintzoff","year":"2008","unstructured":"Sintzoff, M.: Synthesis of optimal control policies for some infinite-state transition systems. In: Audebaud, P., Paulin-Mohring, C. (eds.) MPC 2008. LNCS, vol.\u00a05133, pp. 336\u2013359. Springer, Heidelberg (2008)"},{"issue":"4","key":"10_CR11","first-page":"429","volume":"83","author":"M. Winter","year":"2008","unstructured":"Winter, M.: A relation-algebraic theory of bisimulations. Fundam. Inf.\u00a083(4), 429\u2013449 (2008)","journal-title":"Fundam. Inf."}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04639-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:09:33Z","timestamp":1619766573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04639-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642046384","9783642046391"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04639-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}