{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:07:06Z","timestamp":1725466026907},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637462"},{"type":"electronic","value":"9783540696407"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052094","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:02:10Z","timestamp":1149656530000},"page":"261-270","source":"Crossref","is-referenced-by-count":3,"title":["Verification of distributed algorithms with algebraic Petri Nets"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Reisig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"23_CR1","unstructured":"Manfred Broy. On the design and verification of a simple distributed spanning tree algorithm. SFB-Bericht 342\/24\/90 A, Technische Universit\u00e4t M\u00fcnchen, December 1990."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"23_CR3","first-page":"16","volume":"51","author":"E. Kindler","year":"1996","unstructured":"Ekkart Kindler and Wolfgang Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, 51:16\u201331, December 1996.","journal-title":"Petri Net Newsletter"},{"key":"23_CR4","unstructured":"Ekkart Kindler, Wolfgang Reisig, Hagen V\u00f6lzer, and Rolf Walter. Petri net based verification of distributed algorithms: An example. Informatik-Berichte 63, Humboldt-Universit\u00e4t zu Berlin, May 1996."},{"issue":"3","key":"23_CR5","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"Susan Owicki and Leslie Lamport. Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems, 4(3):455\u2013495, July 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Wolfgang Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80:1\u201334, May 1991.","journal-title":"Theoretical Computer Science"},{"key":"23_CR7","unstructured":"Wolfgang Reisig. Distributed Algorithms \u2014 Modelling and Analysis with Petri Nets. In preparation, 1997."},{"key":"23_CR8","unstructured":"R. Walter, H. V\u00f6lzer, T. Vesper, W. Reisig, E. Kindler, J. Freiheit, and J. Desel. Memorandum: Petrinetzmodelle zur Verifikation verteilter Algorithmen. Informatik-Bericht 67, Humboldt-Universit\u00e4t zu Berlin, July 1996."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"J. Welch, L. Lamport, and N. Lynch. A lattice-structured proof technique applied to a minimal spanning tree algorithm. In Proc. 7th ACM Symposium on Principles of Programming Languages, 1988.","DOI":"10.21236\/ADA198312"}],"container-title":["Lecture Notes in Computer Science","Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:28:38Z","timestamp":1555655318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637462","9783540696407"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0052094","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}