{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:40Z","timestamp":1760202580647},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005954"},{"type":"electronic","value":"9783642005961"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00596-1_5","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T01:13:03Z","timestamp":1238116383000},"page":"48-62","source":"Crossref","is-referenced-by-count":9,"title":["Logics and Bisimulation Games for Concurrency, Causality and Conflict"],"prefix":"10.1007","author":[{"given":"Julian","family":"Gutierrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"5_CR1","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. J. ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"key":"5_CR2","first-page":"90","volume-title":"LICS","author":"R. Alur","year":"1995","unstructured":"Alur, R., Peled, D., Penczek, W.: Model-Checking of Causality Properties. In: LICS, pp. 90\u2013100. IEEE Computer Society, Los Alamitos (1995)"},{"key":"5_CR3","unstructured":"Bradfield, J.: Truth and Games: Essays in Honour of Gabriel Sandu. In: Aho, T., Pietarinen, A. (eds.) Acta Philosophica Fennica. Independence: Logics and Concurrency, vol.\u00a078, pp. 47\u201370. Phil. Soc. of Finland (2006)"},{"key":"5_CR4","unstructured":"Bradfield, J., Esparza, J., Mader, A.: A Causal Fixpoint Logic. Unpub. (1997)"},{"issue":"1","key":"5_CR5","first-page":"102","volume":"9","author":"J. Bradfield","year":"2002","unstructured":"Bradfield, J., Fr\u00f6schle, S.: Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput.\u00a09(1), 102\u2013117 (2002)","journal-title":"Nord. J. Comput."},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-28644-8_2","volume-title":"CONCUR 2004 - Concurrency Theory","author":"S. Brookes","year":"2004","unstructured":"Brookes, S.: A semantics for concurrent separation logic. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 16\u201334. Springer, Heidelberg (2004)"},{"issue":"5","key":"5_CR7","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.ipl.2003.11.008","volume":"89","author":"H. Fecher","year":"2004","unstructured":"Fecher, H.: A Completed Hierarchy of True Concurrent Equivalences. Inf. Process. Lett.\u00a089(5), 261\u2013265 (2004)","journal-title":"Inf. Process. Lett."},{"issue":"6","key":"5_CR8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/j.ipl.2004.11.010","volume":"93","author":"S. Fr\u00f6schle","year":"2005","unstructured":"Fr\u00f6schle, S.: The Decidability Border of Hereditary History Preserving Bisimilarity. Inf. Process. Lett.\u00a093(6), 289\u2013293 (2005)","journal-title":"Inf. Process. Lett."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-48340-3_32","volume-title":"Mathematical Foundations of Computer Science 1999","author":"S. Fr\u00f6schle","year":"1999","unstructured":"Fr\u00f6schle, S., Hildebrandt, T.: On Plain and Hereditary History-Preserving Bisimulation. In: Kuty\u0142owski, M., Wierzbicki, T., Pacholski, L. (eds.) MFCS 1999. LNCS, vol.\u00a01672, pp. 354\u2013365. Springer, Heidelberg (1999)"},{"issue":"4\/5","key":"5_CR10","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R. Glabbeek","year":"2001","unstructured":"Glabbeek, R., Goltz, U.: Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Inf.\u00a037(4\/5), 229\u2013327 (2001)","journal-title":"Acta Inf."},{"key":"5_CR11","first-page":"147","volume-title":"LICS","author":"J. Hayman","year":"2006","unstructured":"Hayman, J., Winskel, G.: Independence and Concurrent Separation Logic. In: LICS, pp. 147\u2013156. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. J. ACM\u00a032(1), 137\u2013161 (1985)","journal-title":"J. ACM"},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from Open Maps. Inf. Comput.\u00a0127(2), 164\u2013185 (1996)","journal-title":"Inf. Comput."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","first-page":"279","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"A. Mazurkiewicz","year":"1987","unstructured":"Mazurkiewicz, A.: Trace Theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 279\u2013324. Springer, Heidelberg (1987)"},{"issue":"2","key":"5_CR15","first-page":"221","volume":"2","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Clausen, C.: Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput.\u00a02(2), 221\u2013249 (1995)","journal-title":"Nord. J. Comput."},{"key":"5_CR16","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Winskel, G.: Models for Concurrency. In: Handbook of Logic in Computer Science, vol.\u00a04, pp. 1\u2013148. Oxford University Press, Oxford (1995)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Penczek, W.: Branching Time and Partial Order in Temporal Logics. In: Time and Logic: A Computational Approach, pp. 179\u2013228. UCL Press (1995)","DOI":"10.4324\/9780429321047-4"},{"issue":"4","key":"5_CR18","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s00165-006-0018-z","volume":"18","author":"D. Pym","year":"2006","unstructured":"Pym, D., Tofts, C.: A Calculus and Logic of Resources and Processes. Formal Asp. Comput.\u00a018(4), 495\u2013517 (2006)","journal-title":"Formal Asp. Comput."},{"key":"5_CR19","first-page":"55","volume-title":"LICS","author":"J. Reynolds","year":"2002","unstructured":"Reynolds, J.: Separation Logic: A Logic for Shared Mutable Data Structures. In: LICS, pp. 55\u201374. IEEE Computer Society, Los Alamitos (2002)"},{"issue":"2","key":"5_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.tcs.2005.09.071","volume":"351","author":"\u00c9.-J.. Sims","year":"2006","unstructured":"Sims, \u00c9.-J.: Extending Separation Logic with Fixpoints and Postponed Substitution. Theor. Comput. Sci.\u00a0351(2), 258\u2013275 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00596-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T03:48:47Z","timestamp":1589687327000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00596-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005954","9783642005961"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00596-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}