{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:17:33Z","timestamp":1755217053879,"version":"3.43.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1023\/a:1008602014766","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"73-115","source":"Crossref","is-referenced-by-count":2,"title":["Relative Liveness: From Intuition to Automated Verification"],"prefix":"10.1007","volume":"12","author":[{"given":"R.","family":"Negulescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.A.","family":"Brzozowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"150743_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"B. Alpern, F. B. Schneider, \u201cDefining Liveness,\u201d Information Processing Letters, 21:181\u2013185, 1985.","journal-title":"Information Processing Letters"},{"key":"150743_CR2","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BF01660033","volume":"1","author":"D. Black","year":"1986","unstructured":"D. Black, \u201cOn the Existence of Delay-insensitive Fair Arbiters:Trace Theory and its Limitations,\u201d Distributed Computing, 1:205\u2013225, 1986.","journal-title":"Distributed Computing"},{"key":"150743_CR3","doi-asserted-by":"crossref","unstructured":"J. A. Brzozowski, C-J. H. Seger, Asynchronous Circuits, Springer Verlag, 1995.","DOI":"10.1007\/978-1-4612-4210-9"},{"key":"150743_CR4","unstructured":"E. Chang, Z. Manna, A. Pnueli, \u201cThe Safety-Progress Classification,\u201d Report No. STAN-CS-92-1408, Stanford University, Dept. of Computer Science, 1992."},{"key":"150743_CR5","unstructured":"D. Dill, E. Clarke, \u201cAutomatic Verification of Asynchronous Circuits Using Temporal Logic,\u201d in H. Fuchs, editor, 1985 Chapel Hill Conf. on VLSI, Computer Science Press, 1985, pp. 127\u2013143."},{"key":"150743_CR6","doi-asserted-by":"crossref","unstructured":"D. Dill, \u201cTrace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits,\u201d An ACM Distinguished Dissertation, MIT Press, 1989.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"150743_CR7","volume-title":"CWI Tract","author":"J. C. Ebergen","year":"1989","unstructured":"J. C. Ebergen, \u201cTranslating programs into delay-insensitive circuits,\u201d CWI Tract 56, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, 1989."},{"key":"150743_CR8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF02252954","volume":"5","author":"J. C. Ebergen","year":"1991","unstructured":"J. C. Ebergen, \u201cA Formal Approach to Designing Delay-Insensitive Circuits,\u201d Distributed Computing, 5:107\u2013119, 1991.","journal-title":"Distributed Computing"},{"key":"150743_CR9","doi-asserted-by":"crossref","unstructured":"N. Francez, Fairness, Springer-Verlag, 1986.","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"150743_CR10","doi-asserted-by":"publisher","first-page":"1309","DOI":"10.1109\/43.329261","volume":"13","author":"G. Gopalakrishnan","year":"1994","unstructured":"G. Gopalakrishnan, E. Brunvand, N. Mitchell, S. M. Nowick, \u201cA Correctness Criterion for Asynchronous Circuit Validation and Optimization,\u201d IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 13:1309\u20131318, 1994.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"150743_CR11","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":"150743_CR12","unstructured":"B. Jonson, \u201cModular Verification of Asynchronous Networks,\u201d Proc. 6th Ann. ACM Symp. on Principles of Distributed Computing, 1987, pp. 137\u2013151."},{"key":"150743_CR13","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF01178564","volume":"29","author":"M. B. Josephs","year":"1992","unstructured":"M. B. Josephs, \u201cReceptive Process Theory,\u201d Acta Informatica, 29:17\u201331, 1992.","journal-title":"Acta Informatica"},{"key":"150743_CR14","first-page":"1159","volume-title":"Handbook of Theoretical Computer Science, vol. B, Formal Methods and Semantics","author":"L. Lamport","year":"1990","unstructured":"L. Lamport, N. Lynch, \u201cDistributed Computing: Models and Methods,\u201d in J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, Formal Methods and Semantics, the MIT Press-Elsevier, 1990, pp. 1159\u20131196."},{"key":"150743_CR15","doi-asserted-by":"crossref","unstructured":"N. Lynch, M. Tuttle, \u201cHierarchical Correctness Proofs for Distributed Algorithms,\u201d Proc. 6th Ann. ACM Symp. on Principles of Distributed Computing, 1987, pp. 137\u2013151.","DOI":"10.1145\/41840.41852"},{"key":"150743_CR16","unstructured":"R. Milner, Communication and Concurrency, Prentice-Hall, 1989."},{"key":"150743_CR17","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/WCADM.1995.514648","volume-title":"Proceedings of the Second Working Conference on Asynchronous Design Methodologies","author":"R. Negulescu","year":"1995","unstructured":"R. Negulescu and J. A. Brzozowski, \u201cRelative Liveness: From Intuition to Automated Verification,\u201d Proceedings of the Second Working Conference on Asynchronous Design Methodologies, South Bank University, London, UK, IEEE Computer Society Press, May 1995, pp. 108\u2013117."},{"key":"150743_CR18","series-title":"Research Report","volume-title":"Relative Liveness: From Intuition to Automated Verification","author":"R. Negulescu","year":"1995","unstructured":"R. Negulescu and J. A. Brzozowski, \u201cRelative Liveness: From Intuition to Automated Verification,\u201d Research Report CS-95-32, Department of Computer Science, University of Waterloo, ON, Canada, July 1995."},{"key":"150743_CR19","doi-asserted-by":"crossref","unstructured":"M. Rem, J. L. A. van de Snepscheut, J. T. Udding, \u201cTrace Theory and the Definition of Hierarchical Components,\u201d in R. Bryant, editor, Third CalTech Conference on Very Large Scale Integration, Computer Science Press, Inc., 1983, pp. 225\u2013239.","DOI":"10.1007\/978-3-642-95432-0_13"},{"key":"150743_CR20","volume-title":"Trace Theory and VLSI Design","author":"J. L. A. van de Snepscheut","year":"1983","unstructured":"J. L. A. van de Snepscheut, \u201cTrace Theory and VLSI Design,\u201d PhD Thesis, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 1983."},{"key":"150743_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2764-0","volume-title":"A Formal Approach to Hardware Design","author":"J. Staunstrup","year":"1994","unstructured":"J. Staunstrup, A Formal Approach to Hardware Design, Kluwer Academic Publishers, Boston\/Dordrecht\/London, 1994."},{"key":"150743_CR22","first-page":"135","volume-title":"Handbook of Theoretical Computer Science, vol. B, Formal Methods and Semantics","author":"W. Thomas","year":"1990","unstructured":"W. Thomas, \u201cAutomata on Infinite Objects,\u201d In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, Formal Methods and Semantics, the MIT Press-Elsevier, 1990, pp. 135\u2013191."},{"key":"150743_CR23","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01660032","volume":"1","author":"J. T. Udding","year":"1986","unstructured":"J. T. Udding, \u201cA Formal Model for Defining and Classifying Delay-Insensitive Circuits and Systems,\u201d Distributed Computing, 1:197\u2013204, 1986.","journal-title":"Distributed Computing"},{"key":"150743_CR24","volume-title":"Classification and Composition of Delay-Insensitive Circuits","author":"J. T. Udding","year":"1984","unstructured":"J. T. Udding, \u201cClassification and Composition of Delay-Insensitive Circuits,\u201d PhD Thesis, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 1984."},{"key":"150743_CR25","volume-title":"A Theory of Delay-Insensitive Systems","author":"T. Verhoeff","year":"1994","unstructured":"T. Verhoeff. A Theory of Delay-Insensitive Systems, PhD Thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 1994."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008602014766.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008602014766\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008602014766.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:21:09Z","timestamp":1754367669000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008602014766"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["150743"],"URL":"https:\/\/doi.org\/10.1023\/a:1008602014766","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}