{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:12Z","timestamp":1725484812648},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_21","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"214-224","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Observational Semantics for Timed Event Structures"],"prefix":"10.1007","author":[{"given":"Irina B.","family":"Virbitskaite","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"issue":"4","key":"21_CR1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3233\/FI-1992-17403","volume":"17","author":"L. Aceto","year":"1992","unstructured":"Aceto L.: History preserving, causal and mixed-ordering equivalence over stable event structures Fundamenta Informaticae17(4) (1992) 319\u2013331.","journal-title":"Fundamenta Informaticae"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur, D. Dill. The theory of timed automata. Theoretical Computer Science 126 (1994) 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"21_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Logics and models of real time: a survey","author":"R. Alur","year":"1992","unstructured":"R. Alur, T.A. Henzinger. Logics and models of real time: a survey. Lecture Notes in Computer Science 600 (1992) 74\u2013106."},{"issue":"1\u20134","key":"21_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2000-43123401","volume":"43","author":"M.V. Andreeva","year":"2000","unstructured":"M.V. Andreeva, E.N. Bozhenkova, I.B. Virbitskaite. Analysis of timed concurrent models based on testing equivalence. Fundamenta Informaticae 43(1\u20134) (2000) 1\u201320.","journal-title":"Fundamenta Informaticae"},{"key":"21_CR5","unstructured":"P. Buchholz, I. Tarasyuk. A class of stochastic Petri nets with step semantics and related equivalence notions. Technische Berichte TUD-FI00-12, Technische Universitaet Dresden (2000)."},{"key":"21_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/3-540-56496-9_24","volume-title":"Decidability of bisimulation equivalences for parallel timer processes","author":"K. \u010cer\u00e4ns","year":"1993","unstructured":"K. \u010cer\u00e4ns. Decidability of bisimulation equivalences for parallel timer processes. Lecture Notes in Computer Science 663 (1993) 302\u2013315."},{"key":"21_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"Extended abstract","author":"R.J. Glabbeek van","year":"1993","unstructured":"R.J. van Glabbeek. The linear time-branching time spectrum II: the semantics of sequential systems with silent moves. Extended abstract. Lecture Notes in Computer Science 715 (1993) 66\u201381."},{"key":"21_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"Equivalence notions for concurrent systems and refinement of actions","author":"R.J. Glabbeek van","year":"1989","unstructured":"R.J. van Glabbeek, U. Goltz. Equivalence notions for concurrent systems and refinement of actions. Lecture Notes in Computer Science 379 (1989) 237\u2013248."},{"key":"21_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61550-4_165","volume-title":"Causal testing","author":"U. Goltz","year":"1996","unstructured":"U. Goltz, H. Wehrheim. Causal testing. Lecture Notes in Computer Science 1113 (1996) 394\u2013406."},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy, R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of ACM 32 (1985) 137\u2013162.","journal-title":"Journal of ACM"},{"key":"21_CR11","volume-title":"Communicating sequential processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R. Communicating sequential processes. Prentice-Hall, London (1985)."},{"key":"21_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/3-540-61648-9_52","volume-title":"On specifying realtime systems in a causality-based setting","author":"J.-P. Katoen","year":"1996","unstructured":"J.-P. Katoen, R. Langerak, D. Latella, E. Brinksma. On specifying realtime systems in a causality-based setting. Lecture Notes in Computer Science 1135 (1996) 385\u2013404."},{"key":"21_CR13","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1993-193-410","volume":"19","author":"D. Murphy","year":"1993","unstructured":"D. Murphy. Time and duration in noninterleaving concurrency. Fundamenta Informaticae 19 (1993) 403\u2013416.","journal-title":"Fundamenta Informaticae"},{"key":"21_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0017309","volume-title":"Concurrency and automata on infinite sequences","author":"D. Park","year":"1981","unstructured":"Park D. Concurrency and automata on infinite sequences. Lecture Notes in Computer Science104 (1981) 167\u2013183."},{"key":"21_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Ordinal processes in comparative concurrency semantics","author":"S. Pinchinat","year":"1992","unstructured":"Pinchinat, S.: Ordinal processes in comparative concurrency semantics. Lecture Notes in Computer Science626 (1992)."},{"key":"21_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1007\/3-540-57182-5_61","volume-title":"Deciding testing equivalence for real-time processes with dense time","author":"B. Steffen","year":"1993","unstructured":"B. Steffen, C. Weise. Deciding testing equivalence for real-time processes with dense time. Lecture Notes in Computer Science 711 (1993) 703\u2013713."},{"issue":"2","key":"21_CR17","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0304-3975(91)90333-W","volume":"79","author":"F.W. Vaandrager","year":"1991","unstructured":"F.W. Vaandrager. Determinism \u2192 (event structure isomorphism = step sequence equivalence). Theoretical Computer Science 79(2) (1991) 275\u2013294.","journal-title":"Theoretical Computer Science"},{"key":"21_CR18","series-title":"Lect Notes Comput Sci","first-page":"364","volume-title":"An introduction to event structures","author":"G. Winskel","year":"1988","unstructured":"G. Winskel. An introduction to event structures. Lecture Notes in Computer Science 354 (1988) 364\u2013397."},{"key":"21_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/3-540-62934-3","volume-title":"Efficient scaling-invariant checking of timed bisimulation","author":"C. Weise","year":"1997","unstructured":"C. Weise, D. Lenzkes. Efficient scaling-invariant checking of timed bisimulation. Lecture Notes in Computer Science 1200 (1997) 176\u2013188."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T06:59:25Z","timestamp":1628924365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"18 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}