{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:06:51Z","timestamp":1725746811567},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402128"},{"type":"electronic","value":"9783642402135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40213-5_9","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T05:26:23Z","timestamp":1377753983000},"page":"133-149","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Operational Semantics for $$ EB ^3$$ for Verification of Temporal Properties"],"prefix":"10.1007","author":[{"given":"Dimitris","family":"Vekris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catalin","family":"Dima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,8,30]]},"reference":[{"key":"9_CR1","unstructured":"Abrial, J.-R.: The B-Book - Assigning programs to meanings. Cambridge University Press (2005)"},{"key":"9_CR2","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier (2001)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"JA Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of Communicating Processes with Abstraction. Journal of Theor. Comput. Sci. 37, 77\u2013121 (1985)","journal-title":"Journal of Theor. Comput. Sci."},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems 14(1), 25\u201359 (1987)","journal-title":"Computer Networks and ISDN Systems"},{"key":"9_CR5","unstructured":"Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference Manual of the LOTOS NT to LOTOS Translator - Version 5.4. INRIA\/VASY (2011)"},{"key":"9_CR6","unstructured":"Chossart, R.: \u00c9valuation d\u2019outils de v\u00e9rification pour les sp\u00e9cifications de syst\u00e8mes d\u2019information. Master\u2019s thesis, Universit\u00e9 de Sherbrooke (2010)"},{"key":"9_CR7","unstructured":"ClearSy. Atelier B, \n                    http:\/\/www.atelierb.societe.com"},{"key":"9_CR8","unstructured":"De Nicola, R., Vaandrager, F.: Three logics for branching bisimulation (extended abstract). In: Proc. of LICS, pp. 118\u2013129 (1990)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Frappier, M., Fraikin, B., Chossart, R., Chane-Yack-Fa, R., Ouenzar, M.: Comparison of model checking tools for information systems. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 581\u2013596. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-16901-4_38"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Frappier, M., St.-Denis, R.: EB\n                    \n                      \n                    \n                    $$^3$$\n                  : an entity-based black-box specification method for information systems. In: Proc. of Software and System Modeling (2003)","DOI":"10.1007\/s10270-003-0024-z"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2010: A toolbox for the construction and analysis of distributed processes. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 372\u2013387. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-19835-9_33"},{"key":"9_CR12","unstructured":"Gervais, F.: Combinaison de sp\u00e9cifications formelles pour la mod\u00e9lisation des syst\u00e8mes d\u2019information. PhD thesis (2006)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional mu-calculus. Journal of Theor. Comput. Sci. 27, 333\u2013354 (1983)","journal-title":"Journal of Theor. Comput. Sci."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"L\u00f6ding, C., Serre, O.: Propositional dynamic logic with recursive programs. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol. 3921, pp. 292\u2013306. Springer, Heidelberg (2006)","DOI":"10.1007\/11690634_20"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Thivolle, D.: A model checking language for concurrent value-passing systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148\u2013164. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-68237-0_12"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Mousavi, M.R., Reniers, M.A.: Congruence for Structural Congruences. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 47\u201362. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-31982-5_3"},{"key":"9_CR17","unstructured":"Symons, V., Geoff, W.: The Evaluation of Information Systems: A Critique. Journal of Applied Systems Analysis 15 (1988)"},{"key":"9_CR18","unstructured":"Vekris, D., Lang, F., Dima, C., Mateescu, R.: Verification of EB\n                    \n                      \n                    \n                    $$^3$$\n                   specifications using CADP, \n                    http:\/\/hal.inria.fr\/hal-00768310"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40213-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T20:22:08Z","timestamp":1558038128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40213-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402128","9783642402135"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40213-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}