{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:25Z","timestamp":1725492685938},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660934"},{"type":"electronic","value":"9783540487531"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48753-0_13","type":"book-chapter","created":{"date-parts":[[2007,10,10]],"date-time":"2007-10-10T09:58:29Z","timestamp":1192010309000},"page":"146-157","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Veri.cation of Concurrent Ada Programs"],"prefix":"10.1007","author":[{"given":"Eric","family":"Bruneton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Pradat-Peyre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,11]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","first-page":"359","volume-title":"Advances in Petri Nets","author":"G. Berthelot","year":"1986","unstructured":"G. Berthelot. Transformations and decompositions of nets. In Advances in Petri Nets, number 254 in LNCS, pages 359\u2013376. Springer-Verlag, 1986."},{"key":"13_CR2","unstructured":"F. Breant, S. Haddad, and J.F. Pradat-Peyre. Characterizing new reductions by means of language and invariant properties. Technical Report 97-04, Conservatoire National des Arts et M\u00e9tiers, laboratoire Cedric, 1997."},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-3-642-84524-6_14","volume-title":"High-level Petri Nets, Theory and Application","author":"S. Haddad","year":"1991","unstructured":"S. Haddad. A reduction theory for colored nets. In Jensen and Rozenberg, editors, High-level Petri Nets, Theory and Application, LNCS, pages 399\u2013425. Springer-Verlag, 1991."},{"issue":"2","key":"13_CR4","first-page":"45","volume":". 2","author":"D. Helmbold","year":"1985","unstructured":"D. Helmbold and D. Luckham. Debugging Ada-tasking programs. IEEE Transactions on Software Engineering, Vol. 2(No. 2):45\u201357, 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"C. Kaiser and J.F. Pradat-Peyre. Comparing the reliability provided by tasks or protected objects for implementing a resource allocation service: a case study. In TriAda, St Louis, Missouri, november 1997. ACM SIGAda.","DOI":"10.1145\/269629.269636"},{"issue":"3","key":"13_CR6","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.21759","volume":"15","author":"T. Murata","year":"1989","unstructured":"T. Murata, B. Shenker, and S.M. Shatz. Detection of Ada static deadlocks using Petri nets invariants. IEEE Transactions on Software Engineering, Vol. 15(No. 3):314\u2013326, March 1989.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0096-0551(85)90010-4","volume":"10","author":"D. Mandrioli","year":"1985","unstructured":"D. Mandrioli, R. Zicari, C. Ghezzi, and F. Tisato. Modeling the Ada task system by Petri nets. Computer Languages, Vol. 10(NO. 1):43\u201361, 1985.","journal-title":"Computer Languages"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"S.M. Shatz, K. Mai, D. Moorthi, and J. Woodward. A toolkit for automated support of Ada-tasking analysis. In Proceedings of the 9th Int. Conf. on Distributed Computing Systems, pages 595\u2013602, June 1989.","DOI":"10.1109\/ICDCS.1989.37993"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"S. Tu, S.M. Shatz, and T. Murata. Applying Petri nets reduction to support Ada-tasking deadlock detection. In Proceedings of the 10th IEEE Int. Conf. on Distributed Computing Systems, pages 96\u2013102, Paris, France, June 1990.","DOI":"10.1109\/ICDCS.1990.89289"},{"key":"13_CR10","volume-title":"Technical Report 13","author":"K. Varoaaniemi","year":"1995","unstructured":"K. Varoaaniemi, Halme J., Hiekanen K., and Pyssisalo T. prod reference manual. Technical Report 13, Helsinki Univ. of Tecnologies, Finland, 1995."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe\u2019 99"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48753-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T07:06:35Z","timestamp":1550991995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48753-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660934","9783540487531"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48753-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}