{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:38Z","timestamp":1725663518389},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550921"},{"type":"electronic","value":"9783540466925"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55092-5_11","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:26:43Z","timestamp":1330194403000},"page":"193-215","source":"Crossref","is-referenced-by-count":3,"title":["Verification of a reliable net protocol"],"prefix":"10.1007","author":[{"given":"Victor","family":"Yodaiken","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krithi","family":"Ramamritham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"J.M. Chang and N.F. Maxemchuk. Reliable broadcast protocols. ACM Trans. Computer Systems, 2(3), august 1984.","DOI":"10.1145\/989.357400"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Ferenc Gecseg. Products of Automata. Monographs in Theoretical Computer Science. Springer Verlag, 1986.","DOI":"10.1007\/978-3-642-61611-2"},{"key":"11_CR3","volume-title":"Development of Mathematical Logic","author":"R. L. Goodstein","year":"1971","unstructured":"R. L. Goodstein. Development of Mathematical Logic. Logic Press, London, 1971."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"11_CR5","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"John E. Hopcroft and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Welsey, Reading MA, 1979."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer Verlag, 1979.","DOI":"10.1007\/3-540-10235-3"},{"volume-title":"Sequential Machines: Selected Papers","year":"1964","key":"11_CR7","unstructured":"E.F. Moore, editor. Sequential Machines: Selected Papers. Addison-Welsey, Reading MA, 1964."},{"key":"11_CR8","unstructured":"Rozsa Peter. Recursive functions. Academic Press, 1967."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"A. Pnueli. Applications of temporal logic to the specification and verification of reactive systems: a survey of curent trends. In J.W. de Bakker, editor, Current Trends in Concurrency, volume 224 of Lecture Notes in Computer Science. Springer-Verlag, 1985.","DOI":"10.1007\/BFb0027047"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"K. Voss, H.J. Genrich, and G Rozenberg, editors. Concurrency and Nets: Advances in Petri Nets. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-72822-8"},{"key":"11_CR11","volume-title":"PhD thesis","author":"V. Yodaiken","year":"1990","unstructured":"Victor Yodaiken. A Modal Arithmetic for Reasoning About Multi-Level Systems of Finite State Machines. PhD thesis, University of Massachusetts (Amherst), 1990."},{"key":"11_CR12","unstructured":"Victor Yodaiken. The algebraic feedback product of automata. In Papers from the DIMACS Workshop on Computer Aided Verification, AMS-DIMACS Series. American Mathematical Society, 1991."},{"key":"11_CR13","unstructured":"Victor Yodaiken. Modal functions for concise representation of finite automata. Information Processing Letters, to appear 1991."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55092-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T23:03:32Z","timestamp":1640905412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55092-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540550921","9783540466925"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55092-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}