{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:20:10Z","timestamp":1754482810249},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581529"},{"type":"electronic","value":"9783540484622"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58152-9_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:20:35Z","timestamp":1330269635000},"page":"568-587","source":"Crossref","is-referenced-by-count":7,"title":["OR causality: Modelling and hardware implementation"],"prefix":"10.1007","author":[{"given":"Alex","family":"Yakovlev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kishinevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Kondratyev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0167-9260(86)80002-5","volume":"4","author":"T.-A. Chu","year":"1986","unstructured":"T.-A. Chu. On the models for designing vlsi asynchronous digital systems. Integration: the VLSI journal, 4:99\u2013113, 1986.","journal-title":"Integration: the VLSI journal"},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F Commoner","year":"1971","unstructured":"F Commoner, A.W. Holt, S. Even, and A. Pnueli. Marked directed graphs. Journal of Computer and Systems Sciences, 5:511\u2013523, 1971.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"31_CR3","volume-title":"Lecture Notes in Computer Science","author":"H.J. Genrich","year":"1992","unstructured":"H.J. Genrich and R.M. Shapiro. Formal verification of an arbiter cascade. In Proceedings of 13th Int. Conferenece on Application and Theory of Petri Nets, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1992."},{"issue":"2","key":"31_CR4","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/0304-3975(92)90052-H","volume":"101","author":"J. Gunawardena","year":"1992","unstructured":"J. Gunawardena. Causal automata. Theoretical Computer Science, 101(2):265\u2013288, 1992.","journal-title":"Theoretical Computer Science"},{"key":"31_CR5","volume-title":"Concurrent Hardware: The Theory and Practice of Self-Timed Design","author":"M. Kishinevsky","year":"1993","unstructured":"M. Kishinevsky, A. Kondratyev, A. Taubin, and V. Varshavsky. Concurrent Hardware: The Theory and Practice of Self-Timed Design. John Wiley and Sons, London, 1993."},{"key":"31_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3212-5","volume-title":"Algorithms for Synthesis and Testing of Asynchronous Circuits","author":"L. Lavagno","year":"1993","unstructured":"L. Lavagno and A. Sangiovanni-Vincentelli. Algorithms for Synthesis and Testing of Asynchronous Circuits. Kluwer Academic Publishers, Boston, 1993."},{"key":"31_CR7","unstructured":"D. Muller and W. Bartky. A theory of asynchronous circuits. In Annals of Computation Laboratory, pages 204\u2013243. Harvard University, 1959."},{"key":"31_CR8","volume-title":"Petri Net Theory and Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson. Petri Net Theory and Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J., 1981."},{"key":"31_CR9","unstructured":"Marta Pietkiewicz-Koutny. Proof of the conjecture that the language generated by a certain Change Diagram cannot be generated by Petri nets. Manuscript, Feb. 1994."},{"key":"31_CR10","first-page":"199","volume-title":"Signal graphs: from self-timed to timed ones","author":"L. Rosenblum","year":"1985","unstructured":"L.Ya. Rosenblum and A.V. Yakovlev. Signal graphs: from self-timed to timed ones. In Proceedings of International Workshop on Timed Petri Nets, Torino, Italy, July 1985, pages 199\u2013207. IEEE Computer Society, 1985."},{"key":"31_CR11","volume-title":"Innovative Architectures","author":"S.S. Patil","year":"1972","unstructured":"Patil S.S. and J.B. Dennis. The description and realization of digital systems. In: Innovative Architectures. IEEE, N.Y., 1972."},{"key":"31_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-0487-3","volume-title":"Self-Timed Control of Concurrent Processes","author":"V. Varshavsky","year":"1990","unstructured":"V. Varshavsky, M. Kishinevsky, V. Marakhovsky, V. Peschansky, L. Rosenblum, A. Taubin, and B. Tzirlin. Self-Timed Control of Concurrent Processes. Kluwer AP, Dordrecht, 1990."},{"issue":"2","key":"31_CR13","first-page":"61","volume":"26","author":"V.I. Varshavsky","year":"1989","unstructured":"V.I. Varshavsky, M.A. Kishinevsky, A.Y. Kondratyev, L.Y. Rosenblyum, and A.R. Taubin. Models for specification and analysis of processes in asynchronous circuits. Soviet Journal of Computer and System Sciences, 26(2):61\u201376, 1989. Russian Edition \u2014 1988.","journal-title":"Soviet Journal of Computer and System Sciences"},{"key":"31_CR14","unstructured":"A. Yakovlev, M. Kishinevsky, A. Kondratyev, and L. Lavagno. On the models for asynchronous circuit behaviour with OR causality. TR-463, University of Newcastle upon Tyne, November 1993."},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"A. Yakovlev, L. Lavagno, and A. Sangiovanni-Vincentelli. A unified STG model for asynchronous control circuit synthesis. In Proceedings of ICCAD '92, Santa Clara, CA, November 1992.","DOI":"10.1109\/ICCAD.1992.279390"},{"key":"31_CR16","unstructured":"A Yakovlev, A. Petrov, and L. Lavagno. High speed asynchronous arbiter. TR-427, University of Newcastle upon Tyne Computing Science, May 1993."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58152-9_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:28Z","timestamp":1605647848000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58152-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581529","9783540484622"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-58152-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}