{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:27:48Z","timestamp":1742952468211,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731955"},{"type":"electronic","value":"9783540731962"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73196-2_11","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T00:50:02Z","timestamp":1183683002000},"page":"160-176","source":"Crossref","is-referenced-by-count":0,"title":["Event Correlation with Boxed Pomsets"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Gazagnaire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"H\u00e9lou\u00ebt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1007\/3-540-48224-5_65","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"2001","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 797\u2013808. Springer, Heidelberg (2001)"},{"issue":"5","key":"11_CR2","doi-asserted-by":"publisher","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Jard, C., Haar, S., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control\u00a048(5), 714\u2013727 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"11_CR3","unstructured":"Dousson, C., Thang, V.D.: Discovering chronicles with numerical time constraints from alarm logs for monitoring dynamic systems. In: Proc. of IJCAI\u201999, pp. 620\u2013626 (1999)"},{"issue":"8","key":"11_CR4","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C. Fidge","year":"1991","unstructured":"Fidge, C.: Logical time in distributed computing systems. IEEE Computer\u00a024(8), 28\u201333 (1991)","journal-title":"IEEE Computer"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-540-45187-7_21","volume-title":"CONCUR 2003 - Concurrency Theory","author":"B. Genest","year":"2003","unstructured":"Genest, B., H\u00e9lou\u00ebt, L., Muscholl, A.: High-level message sequence charts projection. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 308\u2013322. Springer, Heidelberg (2003)"},{"issue":"2-3","key":"11_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J.L. Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. TCS\u00a061(2-3), 199\u2013224 (1988)","journal-title":"TCS"},{"key":"11_CR7","unstructured":"IETF Network\u00a0Working Group. A simple network management protocol (snmp). Technical report, IETF (1990)"},{"key":"11_CR8","unstructured":"H\u00e9lou\u00ebt, L., Gazagnaire, T., Genest, B.: Diagnosis from scenarios. In: WODES\u201906 (2006)"},{"key":"11_CR9","unstructured":"ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC) (2004)"},{"key":"11_CR10","unstructured":"J\u00e9ron, T., Marchand, H., Pinchinat, S., Cordier, M.O.: Supervision patterns in discrete event systems diagnosis. In: WODES\u201906 (2006)"},{"key":"11_CR11","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Workshop on Parallel and Distributed Algorithms (1989)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Nygate, Y.A.: Event correlation using rule and object based techniques. In: Proc. of the 4\n                    th\n                   Integrated network Management, pp. 278\u2013289 (1995)","DOI":"10.1007\/978-0-387-34890-2_25"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V.: Modeling concurrency with partial orders. International Journal of Parallel Programming\u00a015(1), 33\u201371 (1986)","journal-title":"International Journal of Parallel Programming"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/87.486338","volume":"4","author":"M. Sampath","year":"1996","unstructured":"Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C: Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology\u00a04(2), 105\u2013124 (1996)","journal-title":"IEEE Transactions on Control Systems Technology"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73196-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:01:27Z","timestamp":1558468887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73196-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540731955","9783540731962"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73196-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}