{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T13:49:24Z","timestamp":1648648164734},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1994,2,1]],"date-time":"1994-02-01T00:00:00Z","timestamp":760060800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of VLSI Signal Processing"],"published-print":{"date-parts":[[1994,2]]},"DOI":"10.1007\/bf02108193","type":"journal-article","created":{"date-parts":[[2005,9,13]],"date-time":"2005-09-13T17:13:38Z","timestamp":1126631618000},"page":"117-135","source":"Crossref","is-referenced-by-count":4,"title":["Specification and analysis of self-timed circuits"],"prefix":"10.1007","volume":"7","author":[{"given":"M. A.","family":"Kishinevsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Yu.","family":"Kondratyev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. R.","family":"Taubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1994,2,1]]},"reference":[{"key":"BF02108193_CR1","volume-title":"Lecture notes on asynchronous circuits theory","author":"D.E. Muller","year":"1961","unstructured":"D.E. Muller, Lecture notes on asynchronous circuits theory, Urbana: Univ. of Illinois, 1961."},{"key":"BF02108193_CR2","volume-title":"Petri Net Theory and the Modelling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson,Petri Net Theory and the Modelling of Systems, New York: Prentice-Hall, Inc., 1981."},{"key":"BF02108193_CR3","unstructured":"T.A. Chu, \u201cSynthesis of self-timed VLSI circuits from graphtheoretic specification,\u201dProceedings of ICCD'87: IEEE Int. Conf. Comput. Design, 1987, pp. 220\u2013223."},{"key":"BF02108193_CR4","first-page":"285","volume":"354","author":"A. Mazurkiewicz","year":"1989","unstructured":"A. Mazurkiewicz, \u201cBasic notion of trace theory,\u201dLNCS, vol. 354, 1989, pp. 285\u2013363.","journal-title":"LNCS"},{"key":"BF02108193_CR5","first-page":"364","volume":"354","author":"G. Winskel","year":"1989","unstructured":"G. Winskel, \u201cAn introduction to event structures,\u201dLNCS, vol. 354, 1989, pp. 364\u2013397.","journal-title":"LNCS"},{"key":"BF02108193_CR6","volume-title":"UT Year of Programming Institute on Concurrent Programming","author":"A.J. Martin","year":"1989","unstructured":"A.J. Martin, \u201cProgramming in VLSI: From communicating processes to delay-insensitive circuits,\u201d in C.A.R. Hoare ed.,UT Year of Programming Institute on Concurrent Programming, Reading, MA: Addison-Wesley, 1989."},{"key":"BF02108193_CR7","doi-asserted-by":"crossref","unstructured":"S.M. Nowick and D.L. Dill, \u201cPracticality of state-machine verification of speed-independent circuits,\u201dProceedings of IEEE ICCAD'89, 1989, pp. 266\u2013269.","DOI":"10.1109\/ICCAD.1989.76950"},{"key":"BF02108193_CR8","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.1109\/43.41504","volume":"8","author":"T.H. Meng","year":"1989","unstructured":"T.H. Meng, R.W. Brodersen and D.G. Messerschmitt, \u201cAutomatic synthesis of asynchronous circuits from high-level specification,\u201dIEEE Transactions on CAD, vol. 8, 1989, pp. 1185\u20131205.","journal-title":"IEEE Transactions on CAD"},{"key":"BF02108193_CR9","first-page":"78","volume":"380","author":"J.A. Brzozowski","year":"1989","unstructured":"J.A. Brzozowski and J.C. Ebergen, \u201cRecent developments in the design of asynchronous circuits,\u201dLNCS, vol. 380, 1989, pp. 78\u201394.","journal-title":"LNCS"},{"key":"BF02108193_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-0487-3","volume-title":"Self-timed Control of Concurrent Processes","author":"V.I. Varshavsky","year":"1990","unstructured":"V.I. Varshavsky, M.A. Kishinevsky, V.B. Marakhovsky, V.A. Peschansky, L.Ya. Rosenblum, A.R. Taubin and Tzirlin B.S.,Self-timed Control of Concurrent Processes, Boston, MA: Kluwer Academic Publishers, 1990."},{"key":"BF02108193_CR11","first-page":"61","volume":"26","author":"V.I. Varshavsky","year":"1989","unstructured":"V.I. Varshavsky, M.A. Kishinevsky, A.Yu. Kondratyev, L.Ya. Rosenblum and A.R. Taubin, \u201cModels for specification and analysis of processes in asynchronous circuits,\u201dSoviet Journal of Computer and Systems Sciences, vol. 26, 1989, pp. 61\u201376.","journal-title":"Soviet Journal of Computer and Systems Sciences"},{"key":"BF02108193_CR12","doi-asserted-by":"crossref","unstructured":"M.A. Kishinevsky, A.Yu. Kondratyev and A.R. Taubin, \u201cFormal methods for self-timed design,\u201dProceedings of the Europ. Conf. on Design Automation (EDAC'91), 1991, pp. 197\u2013201.","DOI":"10.1109\/EDAC.1991.206389"},{"key":"BF02108193_CR13","unstructured":"M.A. Kishinevsky, A.Yu. Kondratyev, A.R. Taubin and V.I. Varshavsky, \u201cAnalysis and identification of self-timed circuits,\u201dProceedings of IFIP 2nd Workshop on Designing Correct Circuits, Lyngby, Denmark, 1992, pp. 275\u2013287."},{"key":"BF02108193_CR14","volume-title":"Avanproject Research Report, R&D Coop \u201cTrassa,\u201d PPI","author":"V.I. Varshavsky","year":"1991","unstructured":"V.I. Varshavsky, et al., \u201cThe self-timing in VLSI and VLSI-systems,\u201d Avanproject Research Report, R&D Coop \u201cTrassa,\u201d PPI \u201cScience Centre,\u201d Leningrad, Moscow, 1991."},{"key":"BF02108193_CR15","volume-title":"The Design and Analysis of Computer Algorithms","author":"A.V. Aho","year":"1974","unstructured":"A.V. Aho, J.E. Hopcroft and J.D. Ullman,The Design and Analysis of Computer Algorithms, Reading, MA: Addison-Wesley, 1974."}],"container-title":["Journal of VLSI signal processing systems for signal, image and video technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02108193.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02108193\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02108193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:04:14Z","timestamp":1557831854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02108193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,2]]},"references-count":15,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1994,2]]}},"alternative-id":["BF02108193"],"URL":"https:\/\/doi.org\/10.1007\/bf02108193","relation":{},"ISSN":["0922-5773"],"issn-type":[{"value":"0922-5773","type":"print"}],"subject":[],"published":{"date-parts":[[1994,2]]}}}