{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:16:49Z","timestamp":1743077809160,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_6","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"79-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Peschanski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Julien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. Series in Artificial Intelligence. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"6_CR2","unstructured":"J.-P. Briot. Actalk: a Testbed for Classifying and Designing Actor Languages in the Smalltalk-80 Environment. In S. Cook, editor, Proceedings of ECOOP\u201989, pages 109\u2013129. Cambridge University Press, July 1989."},{"key":"6_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ZUM\u201998","author":"C. Fischer","year":"1998","unstructured":"C. Fischer. How to combine z with a process algebra. In Proceedings of ZUM\u201998, volume LNCS 1493. Springer-Verlag, September 1998."},{"key":"6_CR4","unstructured":"M. Heiner. Petri net based system analysis without state explosion. In Proceedings of High Performance Computing\u201998, April 1998."},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Computer Safety, Reliability and Security","author":"M. Heiner","year":"1999","unstructured":"M. Heiner and M. Heisel. Modeling safety-critical systems with z and petri-nets. In Proceedings of Computer Safety, Reliability and Security, volume LNCS 1698. Springer-Verlag, 1999."},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"B. Mahony and J. S. Dong. Timed communicating object z. IEEE Transactions on Software Engineering, 26(2):150\u2013177, 2000.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"R. F. Paige. Specification and refinement using a heterogeneous notation for concurrency and communication. Technical report, York University, October 1998.","DOI":"10.1007\/978-1-4471-0851-1_19"},{"key":"6_CR8","unstructured":"F. Peschanski. A reflective middleware architecture for adaptive, component-based disitrubted systems. IEEE DS Online, 1(7), 2001."},{"key":"6_CR9","unstructured":"F. Peschanski. A versatile event-based communication model for generic distributed interactions. In Proceedings of DEBS\u201902 (ICDCS International Workshop on Distributed Event-based Systems). IEEE, July 2002."},{"key":"6_CR10","unstructured":"J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981."},{"key":"6_CR11","unstructured":"J. M. Spivey. The Z Notation: a reference manual. http:\/\/spivey.oriel.ox.ac.uk\/~mike\/zrm\/, 2001."}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T17:05:54Z","timestamp":1674061554000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}