{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:17:16Z","timestamp":1778249836505,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422525","type":"print"},{"value":"9783540457404","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"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":[[2001]]},"DOI":"10.1007\/3-540-45740-2_13","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T10:30:51Z","timestamp":1195122651000},"page":"204-223","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Concurrent Semantics of Static Exceptions in a Parallel Programming Language"],"prefix":"10.1007","author":[{"given":"Hanna","family":"Klaudel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Pommereau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","volume-title":"The box calculus: a new causal algebra with multi-label communication","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. G. Hall. The box calculus: a new causal algebra with multi-label communication. LNCS 609:21\u201369, 1992."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"E. Best, W. Fraczak, R. Hopkins, H. Klaudel, and E. Pelz. M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages. Acta Informatica, 35, 1998.","DOI":"10.1007\/s002360050144"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-56891-3_30","volume-title":"PARLE\u201993","author":"E. Best","year":"1993","unstructured":"E. Best and R. P. Hopkins. B(PN)2-A basic Petri net programming notation. PARLE\u201993, LNCS 694:379\u2013390, 1993."},{"key":"13_CR4","series-title":"Lect Notes Comput Sci","volume-title":"FST&TCS\u201997","author":"R. Devillers","year":"1997","unstructured":"R. Devillers, H. Klaudel, and R.-C Riemann. General refinement for high-level Petri nets. FST&TCS\u201997, LNCS 1346:297\u2013311, 1997."},{"key":"13_CR5","unstructured":"R. Devillers, H. Klaudel, and R.-C. Riemann. General parameterised refinement and recursion for the M-net calculus. Theoretical Computer Science, to appear (available at http:\/\/www.univ-paris12.fr\/klaudel\/tcs00.ps.gz)."},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Advanced Course on General Net Theory of Processes and Systems","author":"H. J. Genrich","year":"1980","unstructured":"H. J. Genrich, K. Lautenbach, and P. S. Thiagarajan. Elements of General Net Theory. Net Theory and Applications, Proceedings of the Advanced Course on General Net Theory of Processes and Systems, LNCS 84:21\u2013163, 1980."},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","volume-title":"PEP-more than a Petri net tool","author":"B. Grahlmann","year":"1996","unstructured":"B. Grahlmann and E. Best. PEP-more than a Petri net tool. LNCS 1055, 1996."},{"key":"13_CR8","series-title":"Lect Notes Comput Sci","volume-title":"ICATPN\u201997","author":"M. Kishinevsky","year":"1997","unstructured":"M. Kishinevsky, J. Cortadella, A. Kondratyev, L. Lavagno, A. Taubin and A. Yakovlev. Coupling asynchrony and interrupts: place chart nets and their synthesis. ICATPN\u201997, LNCS 1248:328\u2013347, 1997."},{"key":"13_CR9","unstructured":"H. Klaudel. Compositional high-level Petri net semantics of a parallel programming language with procedures. Science of Computer Programming, to appear (available at http:\/\/ univ-paris12.fr\/lacl\/klaudel\/proc.ps.gz)."},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-46674-6_17","volume-title":"ASIAN\u201999","author":"H. Klaudel","year":"1999","unstructured":"H. Klaudel and F. Pommereau. Asynchronous links in the PBC and M-nets. ASIAN\u201999, LNCS 1742:190\u2013200, 1999."},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/3-540-40911-4_19","volume-title":"IFM\u20192000","author":"H. Klaudel","year":"2000","unstructured":"H. Klaudel and F. Pommereau. A concurrent and compositional Petri net semantics of preemption. IFM\u20192000, LNCS 1945:318\u2013337, 2000."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"P. A. Lee and T. Anderson. Fault tolerance: principle and practice. Springer, 1990.","DOI":"10.1007\/978-3-7091-8990-0"},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A calculus of communicating systems. LNCS 92, 1980."},{"key":"13_CR14","unstructured":"B. Randell, A. Romanovsky, R. J. Stroud, J. Xu and A. F. Zorzo. Coordinated Atomic Actions: from concept to implementation. Submitted to IEEE TC Special issue."},{"issue":"1","key":"13_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0096-0551(97)00006-4","volume":"23","author":"A. Romanovsky","year":"1997","unstructured":"A. Romanovsky. Practical exception handling and resolution in concurrent programs. Computer Languages, v. 23, N1, 1997, pp. 43\u201358.","journal-title":"Computer Languages"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"A. Romanovsky. Extending conventional languages by distributed\/concurrent exception resolution. Journal of systems architecture, Elsevier science, 2000","DOI":"10.1016\/S1383-7621(98)00060-5"},{"key":"13_CR17","unstructured":"J. Xu, A. Romanovsky and B. Randell. Coordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation. Computing Dept., University of Newcastle upon Tyne, TR 596, 1997."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:56:42Z","timestamp":1778248602000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45740-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"28 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}