{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T14:18:03Z","timestamp":1763389083593},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_26","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:33:37Z","timestamp":1504589617000},"page":"403-409","source":"Crossref","is-referenced-by-count":1,"title":["Operational Semantics of Process Monitors"],"prefix":"10.1007","author":[{"given":"Jun","family":"Inoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoriyuki","family":"Yamagata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-319-46982-9_31","volume-title":"Runtime Verification","author":"DP Attard","year":"2016","unstructured":"Attard, D.P., Francalanza, A.: A monitoring tool for a branching-time logic. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 473\u2013481. Springer, Cham (2016). doi:\n10.1007\/978-3-319-46982-9_31"},{"issue":"1","key":"26_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(94)00152-9","volume":"146","author":"B Bloom","year":"1995","unstructured":"Bloom, B.: Structural operational semantics for weak bisimulations. Theoret. Comput. Sci. 146(1), 25\u201368 (1995)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"26_CR3","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1145\/200836.200876","volume":"42","author":"B Bloom","year":"1995","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. J. ACM 42(1), 232\u2013268 (1995)","journal-title":"J. ACM"},{"unstructured":"Francalanza, A.: Consistently-detecting monitors. In: 28th International Conference on Concurrency Theory (CONCUR 2017) (2017, to appear)","key":"26_CR4"},{"unstructured":"van Glabbeek, R.J.: The linear time - branching time spectrum I. In: The Semantics of Concrete, Sequential Processes, Chap. 1, pp. 3\u2013100. Elsevier (2001)","key":"26_CR5"},{"issue":"2","key":"26_CR6","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","volume":"118","author":"JF Groote","year":"1993","unstructured":"Groote, J.F.: Transition system specifications with negative premises. Theoret. Comput. Sci. 118(2), 263\u2013299 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-658-09994-7_6","volume-title":"Formal Modeling and Verification of Cyber-Physical Systems","author":"K Havelund","year":"2015","unstructured":"Havelund, K., Reger, G.: Specification of parametric monitors. In: Drechsler, R., K\u00fchne, U. (eds.) Formal Modeling and Verification of Cyber-Physical Systems, pp. 151\u2013189. Springer, Wiesbaden (2015). doi:\n10.1007\/978-3-658-09994-7_6"},{"key":"26_CR8","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc., Upper Saddle River (1985)"},{"key":"26_CR9","volume-title":"Foundations for Programming Languages","author":"JC Mitchell","year":"1996","unstructured":"Mitchell, J.C.: Foundations for Programming Languages. MIT Press, New York (1996)"},{"key":"26_CR10","first-page":"17","volume":"60","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Logic Algebraic Program. 60, 17\u2013139 (2004)","journal-title":"J. Logic Algebraic Program."},{"key":"26_CR11","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1016\/j.entcs.2015.12.023","volume":"319","author":"A Roscoe","year":"2015","unstructured":"Roscoe, A.: The expressiveness of CSP with priority. Electron. Notes Theor. Comput. Sci. 319, 387\u2013401 (2015)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-319-46982-9_24","volume-title":"Runtime Verification","author":"Y Yamagata","year":"2016","unstructured":"Yamagata, Y., Artho, C., Hagiya, M., Inoue, J., Ma, L., Tanabe, Y., Yamamoto, M.: Runtime monitoring for concurrent systems. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 386\u2013403. Springer, Cham (2016). doi:\n10.1007\/978-3-319-46982-9_24"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:40:38Z","timestamp":1504590038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}