{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:41Z","timestamp":1725488621787},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672821"},{"type":"electronic","value":"9783540464198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46419-0_19","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T23:17:25Z","timestamp":1186615045000},"page":"266-282","source":"Crossref","is-referenced-by-count":3,"title":["Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Krimm","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Mounier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CAV\u201998, Vancouver, Canada","author":"P. Abdulla","year":"1998","unstructured":"P. Abdulla, B. Jonsson, M. Kindhal, and D. Peled. A General Approach to Partial Order Reductions in Symbolic Verification. In Proceedings of CAV\u201998, Vancouver, Canada, volume 1427 of LNCS, June 1998. 268"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"BFG+91._Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodr\u00edguez, and Joseph Sifakis. Safety for Branching Time Semantics. In Proceedings of 18th ICALP. Springer Verlag, July 1991. 270","DOI":"10.1007\/3-540-54233-7_126"},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of FM\u201999, Toulouse, France","author":"B.F.G.+.9.9._.M. Bozga","year":"1999","unstructured":"BFG+99._M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. In Proceedings of FM\u201999, Toulouse, France, LNCS 1708, 1999. 281"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"S.C. Cheung and J. Kramer. Enhancing Compositional Reachability Analysis with Context Constraints. In Proceedings of the 1st ACM International Symposium on the Foundations of Software Engineering, pages 115\u2013125, Los Angeles, California, December 1993. 267","DOI":"10.1145\/256428.167071"},{"key":"19_CR5","unstructured":"S. Graf and B. Steffen. Compositional Minimization of Finite State Processes. In Workshop on Computer-Aided Verification, Rutgers, USA, June 1990. DIMACS, R.P. Kurshan and E.M. Clarke. 267"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"P. Godefroid and P. Wolper. Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. In K. G. Larsen, editor, Proceedings of CAV\u201991 (Aalborg, Denmark), July 1991. 267","DOI":"10.1007\/3-540-55179-4_32"},{"key":"19_CR7","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985. 267"},{"key":"19_CR8","unstructured":"Gerard J. Holzmann. Design and Validation of Computer Protocols. Software Series. Prentice Hall, 1991. 267, 281"},{"key":"19_CR9","volume-title":"LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour","author":"ISO","year":"1987","unstructured":"ISO\/ IEC. LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Information Processing Systems \u2014 OSI, Gen\u00e8ve, July 1987. 267"},{"key":"19_CR10","volume-title":"Specification and Description Language (SDL)","author":"ITU-T","year":"1992","unstructured":"ITU-T. Specification and Description Language (SDL). ITU-T Recommendation Z.100, International Telecommunication Union, Gen\u00e8ve, 1992. 267"},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of TACAS\u201998, Lisbon, Portugal","author":"K.L.M.+.9.8._.R. Kurshan","year":"1998","unstructured":"KLM+98._R. Kurshan, V. Levin, M. Minea, D. Peled, and H. Yenig\u00fcn. Static Partial Order Reduction. In Proceedings of TACAS\u201998, Lisbon, Portugal, volume 1384 of LNCS, 1998. 267"},{"key":"19_CR12","unstructured":"Jean-Pierre Krimm and Laurent Mounier. Compositional State Space Generation from Lotos Programs. In Ed Brinksma, editor, Proceedings of TACAS\u201997, Enschede, The Netherlands, April 1997. Springer Verlag. 267"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0304-3975(92)90054-J","volume":"101","author":"S. Katz","year":"1992","unstructured":"S. Katz and D. Peled. Defining conditional independence usin collapses. Theoretical Computer Science, 101(1):337\u2013359, 1992. 281","journal-title":"Theoretical Computer Science"},{"issue":"12","key":"19_CR14","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"Lipton","year":"1975","unstructured":"Lipton. Reduction, a method of proving properties of parallel programs. Communications of the ACM, 18(12):717\u2013721, dec 1975. 268","journal-title":"Communications of the ACM"},{"key":"19_CR15","unstructured":"Robin Milner. Communication and Concurrency. Prentice-Hall, 1989. 270"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00121262","volume":"8","author":"D. Peled","year":"1996","unstructured":"Doron Peled. Combining partial-order reductions with on-the-fly model-checking. Formal Methods in System Design, 8:39\u201364, 1996. 267","journal-title":"Formal Methods in System Design"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"A. Valmari. A Stubborn Attack on State Explosion. In Workshop on Computer-Aided Verification, Rutgers, USA, June 1990. DIMACS, R.P. Kurshan and E.M. Clarke. 267","DOI":"10.1090\/dimacs\/003\/04"},{"key":"19_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-61363-3_3","volume-title":"Application and Theory of Petri Nets","author":"A. Valmari","year":"1996","unstructured":"Antti Valmari. Compositionality in State Space Verification. In Application and Theory of Petri Nets, volume 1091 of LNCS, pages 29\u201356, Springer Verlag, June 1996. 267"},{"key":"19_CR19","volume-title":"Branching-Time and Abstraction in Bisimulation Semantics (extended abstract)","author":"R. J. Glabbeek van","year":"1989","unstructured":"R. J. van Glabbeek and W. P. Weijland. Branching-Time and Abstraction in Bisimulation Semantics (extended abstract). CS R8911, Centrum voor Wiskunde en Informatica, Amsterdam, 1989. 270"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46419-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T18:34:32Z","timestamp":1684002872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46419-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672821","9783540464198"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-46419-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}