{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:08Z","timestamp":1725664508359},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_77","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:03:31Z","timestamp":1330293811000},"page":"579-595","source":"Crossref","is-referenced-by-count":6,"title":["Modelling and verification of Distributed Algorithms"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Reisig","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"34_CR1","volume-title":"Semantik","author":"E. Best","year":"1995","unstructured":"E. Best: Semantik. Vieweg-Verlag Braunschweig (1995)"},{"key":"34_CR2","first-page":"207","volume":"81\/2","author":"E. W. Dijkstra","year":"1978","unstructured":"E. W. Dijkstra: Finding the Correctness Proof of a Concurrent Program. Proc. Koninklijke Nederlandse Akademie van Wetenschappen, Vol 81\/2, pp 207\u2013215 (June 1978)","journal-title":"Proc. Koninklijke Nederlandse Akademie van Wetenschappen"},{"key":"34_CR3","unstructured":"E. Kindler: Modularer Entwurf verteilter Systeme mit Petrinetzen. Edition Versal, Bertz-Verlag (1995)"},{"key":"34_CR4","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1145\/357172.357178","volume":"4","author":"S. Owicki","year":"1982","unstructured":"S. Owicki, L. Lamport: Proving liveness properties of concurrent programs. ACM Transactions on Programming Languages and Systems 4, pp 455\u2013495 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"34_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig: Petri Nets and Algebraic Specifications. Theoretical Computer Science 80, pp 1\u201334 (1991)","journal-title":"Theoretical Computer Science"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"W. Reisig: Correctness Proofs of Distributed Algorithms. in: K. P. Birman et al (eds): Theory and Practice in Distributed Systems. LNCS 938, pp 164\u2013177, Springer-Verlag (1995)","DOI":"10.1007\/3-540-60042-6_12"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Net Models of Distributed Algorithms. in: J. van Leeuven (ed): Computer Science Today: Recent Trends and Developments. LNCS 1000, pp 441\u2013454, Springer-Verlag (1995)","DOI":"10.1007\/BFb0015259"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"W. Reisig: Interleaved Progress, Concurrent Progress and Local Progress. Proceedings of the DIMACS Workshop on Partial Order Methods in Verification. D. Peled, G. Holzmann, V. Pratt (eds), American Mathematical Society (to appear)","DOI":"10.1090\/dimacs\/029\/06"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"W. Reisig: Distributed Algorithms: Modelling and Analysis with Petri Nets. Monography (to appear)","DOI":"10.1109\/ICSMC.1998.725380"},{"key":"34_CR10","unstructured":"R. Walter: Petrinetzmodelle verteilter Algorithmen. Edition Versal, Bertz-Verlag (1995)"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:35:09Z","timestamp":1619573709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}