{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T05:19:01Z","timestamp":1740028741901,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001164"},{"type":"electronic","value":"9783540361268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36126-x_22","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:55:19Z","timestamp":1269899719000},"page":"360-377","source":"Crossref","is-referenced-by-count":13,"title":["Input\/Output Compatibility of Reactive Systems"],"prefix":"10.1007","author":[{"given":"Josep","family":"Carmona","sequence":"first","affiliation":[]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"22_CR1","unstructured":"A. Arnold. Finite Transition Systems. Prentice Hall, 1994."},{"key":"22_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1986","unstructured":"G. Berthelot. Checking Properties of Nets Using Transformations. In G. Rozenberg, editor, Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 19\u201340. Springer-Verlag, 1986."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Janusz A. Brzozowski and Carl-Johan H. Seger. Asynchronous Circuits. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4210-9"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"J. Carmona, J. Cortadella, and E. Pastor. Synthesis of reactive systems: application to asynchronous circuit design. In J. Cortadella, A. Yakovlev, and G. Rozenberg, editors, Advances in Concurrency and Hardware Design (ACHD). Springer-Verlag, 2002. (To appear). Available at http:\/\/www.lsi.upc.es\/~jcarmona\/achd02.ps.gz .","DOI":"10.1007\/3-540-36190-1_4"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"R. de Nicola and M. C. B. Hennessy. Testing Equivalences for Processes. Theoretical Computer Science, 34(1-2):83\u2013133, November 1984.","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"22_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, Cambridge, Great Britain, 1995."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"David L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1989.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"G.J. Milne. CIRCAL: A calculus for circuit descriptions. Integration, the VLSI Journal, 1(2\u20133):121\u2013160, October 1983.","DOI":"10.1016\/S0167-9260(83)80017-0"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1109\/MDT.2000.825680","volume":"17","author":"A. Jerraya","year":"2000","unstructured":"A. Jerraya. Hardware-software codesign. IEEE Design & Test of Computers, 17:92\u201399, March 2000.","journal-title":"IEEE Design & Test of Computers"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01788563","volume":"3","author":"M. B. Josephs","year":"1988","unstructured":"Mark B. Josephs. A state-based approach to communicating processes. Distributed Computing, 3:9\u201318, 1988.","journal-title":"Distributed Computing"},{"key":"22_CR11","unstructured":"A. V. Kovalyov. On complete reducibility of some classes of Petri nets. In Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, pages 352\u2013366, Paris, June 1990."},{"key":"22_CR12","first-page":"219","volume-title":"CWI-Quarterly","author":"N. A. Lynch","year":"1989","unstructured":"Nancy A. Lynch and Mark R. Tuttle. An introduction to input\/output automata. In CWI-Quarterly, volume 2, pages 219\u2013246, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, September 1989."},{"key":"22_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus for Communicating Processes","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus for Communicating Processes, volume 92 of Lecture Notes in Computer Science. Springer Verlag, 1980."},{"key":"22_CR14","unstructured":"Robin Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Tadao Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541\u2013574, April 1989.","DOI":"10.1109\/5.24143"},{"key":"22_CR16","series-title":"PhD thesis","volume-title":"Process Spaces and Formal Verification of Asynchronous Circuits","author":"R. Negulescu","year":"1998","unstructured":"Radu Negulescu. Process Spaces and Formal Verification of Asynchronous Circuits. PhD thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, August 1998."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Tom Verhoeff. Analyzing specifications for delay-insensitive circuits. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 172\u2013183, 1998.","DOI":"10.1109\/ASYNC.1998.666503"},{"key":"22_CR18","unstructured":"M. Yoeli and A. Ginzburg. Lotos\/cadp-based verification of asynchronous circuits. Report CS-2001-09-2001, Technion-Computer Science Department, September 2001."}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36126-X_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:24:46Z","timestamp":1739993086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36126-X_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001164","9783540361268"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36126-x_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}