{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:48Z","timestamp":1748071608813},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_4","type":"book-chapter","created":{"date-parts":[[2007,10,29]],"date-time":"2007-10-29T23:58:10Z","timestamp":1193702290000},"page":"40-56","source":"Crossref","is-referenced-by-count":5,"title":["Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Bo\u0161na\u010dki","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BFb0055643","volume-title":"CONCUR\u201998","author":"J. Bengtsson","year":"1998","unstructured":"Bengtsson, J., Jonsson, B, Lilius, J., Yi, W., Partial Order Reductions for TimedSystems, CONCUR\u201998, LNCS 1466, pp. 485\u2013501, 1998."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bo-sna-cki, D., Dams, D., Integrating Real Time in Spin: a Prototype Implementation, FORTE\/PSTV\u201998, Kluwer, pp. 423\u2013439, 1998","DOI":"10.1007\/978-0-387-35394-4_26"},{"key":"4_CR3","first-page":"232","volume":"56","author":"A. Bouajjani","year":"1997","unstructured":"Bouajjani, A., Tripakis, S., Yovine, S., On-the-Fly Symbolic Model-Checking for Real-Time Systems, In Proc. of the 18th IEEE Real-Time Systems Symposium, pp. 232\u2013243, IEEE, 1997 56 Dragan Bo-sna-cki","journal-title":"Proc. of the 18th IEEE Real-Time Systems Symposium"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E., Sistla, A., Automatic Verification of Finite-state Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, 8(2), pp. 244\u2013263, 1986","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00121128","volume":"I","author":"C. Courcoubetis","year":"1992","unstructured":"Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M., Memory Efficient Al-gorithms for the Verification of Temporal Properties, Formal Methods in System DesignI, pp. 275\u2013288, 1992","journal-title":"Formal Methods in System Design"},{"key":"4_CR6","unstructured":"Dams, D., Gerth, R., Knaack, B., Kuiper, R., Partial-order Reduction Techniquesfor Real-time Model Checking, FMICS\u201998, CWI, pp.157\u2013170, 1998"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Francez, N., Fairness, Springer, 1986","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60761-7","volume-title":"Partial Order Methods for the Verification of Concurrents Systems An Approach to the State Space Explosion","author":"P. Godefroid","year":"1996","unstructured":"Godefroid, P., Partial Order Methods for the Verification of Concurrents Systems An Approach to the State Space Explosion, LNCS 1032, Springer, 1996"},{"key":"4_CR9","unstructured":"Holzmann, G. J., Design and Validation of Communication Protocols, Prentice Hall, 1991. Also: amp;http:\/\/netlib.bell-labs.com\/netlib\/spin\/whatispin.html"},{"key":"4_CR10","unstructured":"Holzmann, G. J., Personal communication"},{"key":"4_CR11","unstructured":"Holzmann, G., Peled, D., An Improvement in Formal Verification, FORTE 1994, Bern, Switzerland, 1994."},{"key":"4_CR12","volume-title":"Proc. of the 2nd Spin Workshop","author":"G. Holzmann","year":"1996","unstructured":"Holzmann, G., Peled, D., Yannakakis On Nested Depth First Search, Proc. of the 2nd Spin Workshop, Rutgers University, New Jersay, USA, 1996."},{"key":"4_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Formal Techniques in Real Time and Fault Tolerant Systems FTRTFT 96","author":"F. Pagani","year":"1996","unstructured":"Pagani, F., Partial Orders and Verification of Real Time Systems, Formal Techniques in Real Time and Fault Tolerant Systems FTRTFT 96, LNCS, 1996"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Peled, D., Combining Partial Order Reductions with On-the-Fly Model Checking, Computer Aided Verification 1994, LCNS 818, pp. 377\u2013390, 1994.","DOI":"10.1007\/3-540-58179-0_69"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M. Vardi","year":"1986","unstructured":"Vardi, M., Wolper, P., Automata Theoretic Techniques for Modal Logics of Programs, Journal of Computer and System Science, 32(2), pp. 182\u2013221, 1986","journal-title":"Journal of Computer and System Science"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Willems, B., Wolper, P., Partial Order Models for Model Checking: From Linear to Branching Time, Proc. of 11 Symposium of Logics in Computer Science, LICS 96, New Brunswick, pp. 294\u2013303, 1996","DOI":"10.1109\/LICS.1996.561357"}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T23:15:39Z","timestamp":1556925339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}