{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:29:44Z","timestamp":1725470984294},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378730"},{"type":"electronic","value":"9783540378747"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11828563_14","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"207-221","source":"Crossref","is-referenced-by-count":0,"title":["Lazy Semiring Neighbours and Some Applications"],"prefix":"10.1007","author":[{"given":"Peter","family":"H\u00f6fner","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"M\u00f6ller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Regular Algebra and Finite State Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite State Machines. Chapman and Hall, Boca Raton (1971)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Desharnais, J., M\u00f6ller, B., Struth, G.: Kleene Algebra with Domain. ACM Trans. Computational Logic (to appear 2006); Preliminary version: Universit\u00e4t Augsburg, Institut f\u00fcr Informatik, Report No. 2003-07 (June 2003)","DOI":"10.1145\/1166109.1166116"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/LICS.1995.523242","volume-title":"Proc. 10th Annual IEEE Symb. on Logic in Computer Science","author":"B. Dutertre","year":"1995","unstructured":"Dutertre, B.: Complete Proof Systems for First-Order Interval Temporal Logic. In: Proc. 10th Annual IEEE Symb. on Logic in Computer Science, pp. 36\u201343. IEEE Press, Los Alamitos (1995)"},{"key":"14_CR4","first-page":"995","volume-title":"Handbook of Theoretical Computer Science. Formal Models and Semantics","author":"E.A. Emerson","year":"1991","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 995\u20131072. Elsevier, Amsterdam (1991)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/BFb0036915","volume-title":"Automata, Languages and Programming","author":"J.Y. Halpern","year":"1983","unstructured":"Halpern, J.Y., Moszkowski, B., Manna, Z.: A Hardware Semantics Based on Temporal Intervals. In: D\u00edaz, J. (ed.) ICALP 1983. LNCS, vol.\u00a0154, pp. 278\u2013291. Springer, Heidelberg (1983)"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Shoham, Y.: A Propositional Modal Logic of Time Intervals. In: Proceedings of the First IEEE Symposium on Logic in Computer Science, pp. 279\u2013292. IEEE Press, Piscataway","DOI":"10.1145\/115234.115351"},{"key":"14_CR7","unstructured":"H\u00f6fner, P.: Semiring Neighbours \u2014 An Algebraic Embedding and Extension of Neighbourhood Logic. In: van de Pol, J., Romijn, J., Smith, G. (eds.): IFM 2005 Doctoral Symposium on Integrated Formal Methods, 6\u201313 (2005) Extended version: P. H\u00f6fner: Semiring Neighbours. Technical Report 2005-19, Universit\u00e4t Augsburg (2005)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/11734673_10","volume-title":"Relational Methods in Computer Science","author":"P. H\u00f6fner","year":"2006","unstructured":"H\u00f6fner, P., M\u00f6ller, B.: Towards an Algebra of Hybrid Systems. In: MacCaull, W., Winter, M., D\u00fcntsch, I. (eds.) RelMiCS 2005. LNCS, vol.\u00a03929, pp. 121\u2013133. Springer, Heidelberg (2006)"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene Algebra with Tests. ACM Trans. Programming Languages and Systems\u00a019(3), 427\u2013443 (1997)","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-27764-4_14","volume-title":"Mathematics of Program Construction","author":"B. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, B.: Kleene Getting Lazy. Science of Computer Programming. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 252\u2013273. Springer, Heidelberg (2004)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11784180_21","volume-title":"Algebraic Methodology and Software Technology","author":"B. M\u00f6ller","year":"2006","unstructured":"M\u00f6ller, B., H\u00f6fner, P., Struth, G.: Quantales and Temporal Logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 263\u2013277. Springer, Heidelberg (2006)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-540-39993-3_14","volume-title":"From Object-Orientation to Formal Methods","author":"M. Sintzoff","year":"2004","unstructured":"Sintzoff, M.: Iterative Synthesis of Control Guards Ensuring Invariance and Inevitability in Discrete-Decision Games. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 272\u2013301. Springer, Heidelberg (2004)"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1093\/logcom\/1.4.453","volume":"1","author":"Y. Venema","year":"1990","unstructured":"Venema, Y.: A Modal Logic for Chopping Intervals. J. of Logic and Computation\u00a01(4), 453\u2013476 (1990)","journal-title":"J. of Logic and Computation"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/3-540-49213-5_23","volume-title":"Compositionality: The Significant Difference","author":"C. Zhou","year":"1998","unstructured":"Zhou, C., Hansen, M.R.: An Adequate First Order Interval Logic. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 584\u2013608. Springer, Heidelberg (1998)"},{"key":"14_CR15","series-title":"Monographs in Theoretical Computer Science","volume-title":"Duration Calculus \u2013 A Formal Approach to Real-Time Systems","author":"C. Zhou","year":"2004","unstructured":"Zhou, C., Hansen, M.R.: Duration Calculus \u2013 A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","first-page":"16","volume-title":"Fundamentals of Computation Theory","author":"C. Zhou","year":"1995","unstructured":"Zhou, C., Van Hung, D., Xiaoshan, L.: Duration Calculus with Infinite Intervals. In: Reichel, H. (ed.) FCT 1995. LNCS, vol.\u00a0965, pp. 16\u201341. Springer, Heidelberg (1995)"}],"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\/11828563_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:18:13Z","timestamp":1605644293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11828563_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}