{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:13Z","timestamp":1725664813677},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610427"},{"type":"electronic","value":"9783540498742"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61042-1_56","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:11:44Z","timestamp":1330272704000},"page":"391-395","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Concurrency Factory software development environment"],"prefix":"10.1007","author":[{"given":"Ranee","family":"Cleaveland","sequence":"first","affiliation":[]},{"given":"Philip M.","family":"Lewis","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"R. Cleaveland and B. U. Steffen. A linear-time model checking algorithm for the alternation-free modal mu-calculus. Formal Methods in System Design, 2, 1993.","DOI":"10.1007\/BF01383878"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. Facile: A symmertric integration of concurrent and functional programming. International Journal of Parallel Programming, 18(2), 1989.","DOI":"10.1007\/BF01491213"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"O. Sokolsky and S. A. Smolka. \u201cIncremental Model Checking in the Modal Mu-Calculus\u201d. In Proceedings of CAV'94. LNCS 818, 1994.","DOI":"10.1007\/3-540-58179-0_67"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"O. Sokolsky and S. A. Smolka. Local model checking for real-time systems, In Proc. 7th CAV (1995).","DOI":"10.1007\/3-540-60045-0_52"},{"key":"23_CR5","volume-title":"Ph.D. Thesis","author":"O. Sokolsky","year":"1996","unstructured":"O. Sokolsky. Efficient graph-based algorithms for model checking in the modal mu-calculus. Ph.D. Thesis, Department of Computer Science, SUNY, Stony Brook (1996), forthcoming."},{"key":"23_CR6","unstructured":"S. Zhang and S. A. Smolka. Efficient parallelization of equivalence checking algorithms. In M. Diaz and R. Groz, editors, Proceedings of FORTE '92 \u2014 Fifth International Conference on Formal Description Techniques, pages 133\u2013146, October 1992."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"S. Zhang, O. Sokolsky, and S. A. Smolka. On the parallel complexity of model checking in the modal mu-calculus. In LICS '94, July 1994.","DOI":"10.1007\/3-540-58179-0_67"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61042-1_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:20:56Z","timestamp":1558254056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61042-1_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610427","9783540498742"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-61042-1_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}