{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:14:35Z","timestamp":1742400875682},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_35","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:52:13Z","timestamp":1330203133000},"page":"89-103","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["Eliminating redundant interleavings during concurrent program verification"],"prefix":"10.1007","author":[{"given":"Antti","family":"Valmari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","unstructured":"Ashcroft, E. & Manna, Z.: Formalization of Properties of Parallel Programs. In: Meltzer, B. & Michie, D. (eds): Machine Intelligence 6, Edinburgh University Press 1971, pp. 17\u201342."},{"issue":"4","key":"7_CR2","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1145\/48022.48023","volume":"10","author":"R. J. R. Back","year":"1988","unstructured":"Back, R. J. R. & Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transactions on Programming Languages and Systems, Vol. 10, No. 4 1988, pp. 513\u2013554.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-47919-2_9","volume-title":"Central Models and Their Properties","author":"H. J. Genrich","year":"1987","unstructured":"Genrich, H. J.: Predicate\/Transition Nets. In: Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science 254, Springer, Berlin 1987, pp. 207\u2013247."},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-47919-2_10","volume-title":"Central Models and Their Properties","author":"K. Jensen","year":"1987","unstructured":"Jensen, K.: Coloured Petri Nets. In: Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science 254, Springer, Berlin 1987, pp. 248\u2013299."},{"issue":"1","key":"7_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(86)90002-X","volume":"7","author":"T. A. Joseph","year":"1986","unstructured":"Joseph, T. A., R\u00e4uchle, T. & Toueg, S.: State Machines and Assertions: An Integrated Approach to Modelling and Verification of Distributed Systems. Science of Computer Programming 7 nr 1, July 1986, pp. 1\u201322.","journal-title":"Science of Computer Programming"},{"key":"7_CR6","unstructured":"Overman, W. T.: Verification of Concurrent Systems: Function and Timing. Ph.D. Dissertation, University of California Los Angeles 1981, 174 p."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency","author":"A. Pnueli","year":"1986","unstructured":"Pnueli, A.: Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends. In: Current Trends in Concurrency, Lecture Notes in Computer Science 224, Springer, Berlin 1986, pp. 510\u2013584."},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-540-47919-2_3","volume-title":"Central Models and Their Properties","author":"P. S. Thiagarajan","year":"1987","unstructured":"Thiagarajan, P. S.: Elementary Net Systems. In: Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science 254, Springer, Berlin 1987, pp. 26\u201359."},{"key":"7_CR9","unstructured":"Valmari, A. & Tiusanen, M.: A Graph Model for Efficient Reachability Analysis of Description Languages. In: Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, Zaragoza, Spain 1987, pp. 349\u2013366."},{"key":"7_CR10","unstructured":"Valmari, A.: Error Detection by Reduced Reachability Graph Generation. In: Proceedings of the Ninth European Workshop on Application and Theory of Petri Nets, Venice, Italy 1988, pp. 95\u2013112."},{"key":"7_CR11","unstructured":"Valmari, A.: Heuristics for Lazy State Generation Speeds up Analysis of Concurrent Systems. In: Proceedings of the Finnish Artificial Intelligence Symposium STeP-88, Helsinki 1988, Vol. 2 pp. 640\u2013650."},{"key":"7_CR12","unstructured":"Valmari, A.: State Space Generation: Efficiency and Practicality. Ph.D. Thesis. Tampere University of Technology Publications nr 55, Tampere 1988, 169 p."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:28:51Z","timestamp":1558268931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}