{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:29:01Z","timestamp":1725542941301},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540373766"},{"type":"electronic","value":"9783540373773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11817949_13","type":"book-chapter","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T15:59:29Z","timestamp":1154534369000},"page":"188-202","source":"Crossref","is-referenced-by-count":3,"title":["Operational Determinism and Fast Algorithms"],"prefix":"10.1007","author":[{"given":"Henri","family":"Hansen","sequence":"first","affiliation":[]},{"given":"Antti","family":"Valmari","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","series-title":"ENTCS","first-page":"99","volume-title":"PDMC 2003, Parallel and Distributed Model Checking (Satellite workshop of CAV 2003)","author":"S. Blom","year":"2003","unstructured":"Blom, S., Orzan, S.: Distributed branching bisimulation reduction of state spaces. In: PDMC 2003, Parallel and Distributed Model Checking (Satellite workshop of CAV 2003). ENTCS, vol.\u00a089(1), pp. 99\u2013113. Elsevier, Amsterdam (2003)"},{"key":"13_CR2","volume-title":"Introduction to Algorithms","author":"T. Cormen","year":"2001","unstructured":"Cormen, T., Leiserson, C., Rivest, R., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, Cambridge (2001)","edition":"2"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. De Nicola","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.: Three logics for branching bisimulation. Journal of the ACM\u00a042(2), 458\u2013487 (1995)","journal-title":"Journal of the ACM"},{"key":"13_CR4","unstructured":"Eloranta, J.: Minimal Transition Systems with Respect to Divergence Preserving Behavioural Equivalences. PhD thesis, University of Helsinki (1994)"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0304-3975(85)90028-3","volume":"36","author":"J. Engelfriet","year":"1985","unstructured":"Engelfriet, J.: Determinacy \n                    \n                      \n                    \n                    $\\longrightarrow$\n                   (observation equivalence = trace equivalence). Theoretical Computer Science\u00a036(1), 21\u201325 (1985)","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/BFb0032063","volume-title":"Automata, Languages and Programming","author":"J.F. Groote","year":"1990","unstructured":"Groote, J.F., Vaandrager, F.: An efficient algorithm for branching bisimulation and stuttering equivalence. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 626\u2013638. Springer, Heidelberg (1990)"},{"key":"13_CR7","first-page":"114","volume-title":"Proceedings of IEEE Symposium on Security and Privacy","author":"A.W. Roscoe","year":"1995","unstructured":"Roscoe, A.W.: CSP and determinism in security modelling. In: Proceedings of IEEE Symposium on Security and Privacy, pp. 114\u2013127. IEEE, Los Alamitos (1995)"},{"key":"13_CR8","first-page":"565","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1998","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency, p. 565. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1109\/CSFW.1999.779775","volume-title":"Proceedings of Computer Security Foundations Workshop","author":"P.Y.A. Ryan","year":"1999","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process algebra and non-interference. In: Proceedings of Computer Security Foundations Workshop, pp. 214\u2013227. IEEE, Los Alamitos (1999)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R.J. Glabbeek Van","year":"1993","unstructured":"Van Glabbeek, R.J.: The linear time \u2013 branching time spectrum II; the semantics of sequential systems with silent moves. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek Van","year":"1996","unstructured":"Van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"issue":"1","key":"13_CR12","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/S0020-0190(01)00217-4","volume":"80","author":"M. Voorhoeve","year":"2001","unstructured":"Voorhoeve, M., Mauw, S.: Impossible futures and determinism. Information Processing Letters\u00a080(1), 51\u201358 (2001)","journal-title":"Information Processing Letters"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/CSFW.2003.1212703","volume-title":"Proceedings of the 16th IEEE Computer Security Foundations Workshop","author":"S. Zdancewic","year":"2003","unstructured":"Zdancewic, S., Myers, A.: Observational determinism for concurrent program security. In: Proceedings of the 16th IEEE Computer Security Foundations Workshop, pp. 29\u201343. IEEE, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2006 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11817949_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:29:52Z","timestamp":1619494192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11817949_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540373766","9783540373773"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11817949_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}