{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:42Z","timestamp":1725493242927},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540766483"},{"type":"electronic","value":"9783540766506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76650-6_19","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T07:12:49Z","timestamp":1193382769000},"page":"327-344","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Symbolic Execution of Large Quantifications in a Process Algebra"],"prefix":"10.1007","author":[{"given":"Beno\u00eet","family":"Fraikin","sequence":"first","affiliation":[]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","first-page":"7","volume-title":"AAAI Symposium on Logic-Based Program Synthesis","author":"M. Frappier","year":"2002","unstructured":"Frappier, M., Fraikin, B., Laleau, R., Richard, M.: Automatic Production of Information Systems. In: AAAI Symposium on Logic-Based Program Synthesis, p. 7. AAAI, Stanford University, Stanford, CA (2002)"},{"unstructured":"Fraikin, B., Gervais, F., Frappier, M., Laleau, R., Richard, M.: Synthesizing Information Systems: the APIS Project. In: Rolland, C., Pastor, O., Cavarero, J.L. (eds.) First International Conference on Research Challenges in Information Science (RCIS), Ouarzazate, Morocco, p. 12 (2007)","key":"19_CR2"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s10270-003-0024-z","volume":"2","author":"M. Frappier","year":"2003","unstructured":"Frappier, M., St-Denis, R.: \n                    \n                      \n                    \n                    $\\textsc{eb}^{3}$\n                  : an Entity-Based Black-Box Specification Method for Information Systems. Software and Systems Modeling\u00a02, 134\u2013149 (2003)","journal-title":"Software and Systems Modeling"},{"unstructured":"Formal Systems (Europe) Ltd.: Process Behaviour Explorer (ProBE) User Manual (2003)","key":"19_CR4"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1007\/3-540-45241-9_2","volume-title":"PADL 2001","author":"M. Leuschel","year":"2001","unstructured":"Leuschel, M.: Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 14\u201328. Springer, Heidelberg (2001)"},{"unstructured":"Wooters, A.G.: Manual for the CRL tool set (version 2.8.2). Report SEN-R0130, CWI, Amsterdam, the Netherlands (2001)","key":"19_CR6"},{"key":"19_CR7","first-page":"13","volume":"4","author":"H. Garavel","year":"2002","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. European Association for Software Science and Technology (EASST) Newsletter\u00a04, 13\u201324 (2002)","journal-title":"European Association for Software Science and Technology (EASST) Newsletter"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/11813040_9","volume-title":"FM 2006","author":"A. Freitas","year":"2006","unstructured":"Freitas, A., Cavalcanti, A.: Automatic Translation from Circus to Java. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 115\u2013130. Springer, Heidelberg (2006)"},{"unstructured":"Freitas, A.: From Circus to Java:\u00a0Implementation and Verification of a Translation Strategy. Master\u2019s thesis, Department of Computer Science, The University of York (2005)","key":"19_CR9"},{"unstructured":"Oliveira, M.: Formal Derivation of State-Rich Reactive Programs using Circus. PhD thesis, Department of Computer Science - University of York, UK (2005)","key":"19_CR10"},{"key":"19_CR11","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"ICCS 2002","author":"P.H. Welch","year":"2002","unstructured":"Welch, P.H.: Process oriented design for java: Concurrency for all. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol.\u00a02393, Springer, Heidelberg (2002)"},{"unstructured":"Formal Systems (Europe) Ltd.: Failures-Divergence Refinement (FDR2) User Manual (2005)","key":"19_CR12"},{"unstructured":"Moller, F., Stevens, P.: (Edinburgh Concurrency Workbench user manual (version 7.1))","key":"19_CR13"},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/11526841_16","volume-title":"FM 2005","author":"M. Butler","year":"2005","unstructured":"Butler, M., Leuschel, M.: Combining CSP and B for Specification and Property Verification. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 221\u2013236. Springer, Heidelberg (2005)"},{"key":"19_CR15","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"2006","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (2006)"},{"key":"19_CR16","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ (1985)"},{"key":"19_CR17","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process Algebra for Synchronous Communication. Information and Control\u00a060, 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"19_CR19","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\u00a014, 25\u201359 (1987)","journal-title":"Computer Networks and ISDN Systems"},{"unstructured":"Fraikin, B.: Interpr\u00e9tation efficace d\u2019expression de processus eb\n                  3. PhD thesis, D\u00e9partement d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, Canada (2006)","key":"19_CR20"},{"unstructured":"Fraikin, B., Frappier, M.: Efficient Execution of Process Expressions Using Symbolic Interpretation. Technical Report\u00a08, Universit\u00e9 de Sherbrooke, D\u00e9partement d\u2019informatique, Sherbrooke, Qu\u00e9bec, Canada (2005)","key":"19_CR21"},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/s10270-005-0083-4","volume":"4","author":"B. Fraikin","year":"2005","unstructured":"Fraikin, B., Frappier, M., Laleau, R.: State-Based versus Event-Based Specifications for Information System Specification: a comparison of B and \n                    \n                      \n                    \n                    $\\textsc{eb}^{3}$\n                  . Software and System Modeling\u00a04, 236\u2013257 (2005)","journal-title":"Software and System Modeling"},{"key":"19_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/3-540-44880-2_25","volume-title":"ZB 2003","author":"M. Frappier","year":"2003","unstructured":"Frappier, M., Laleau, R.: Verifying Event Ordering Properties for Information Systems. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 421\u2013436. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76650-6_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:57:15Z","timestamp":1619521035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76650-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540766483","9783540766506"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76650-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}