Newcastle University

On the models for asynchronous circuit behaviour with OR causality (1996)

Author(s): Yakovlev A, Kishinevsky M, Kondratyev A, Lavagno L, Pietkiewicz-Koutny M

• Journal: Formal Methods in System Design
• Volume: 9
• Issue: 3
• Pages: 189-233
• Publisher: Springer New York LLC
• Publication type: Article
• Bibliographic status: Published

• URL: http://dx.doi.org/10.1007/BF00122082
• DOI: 10.1007/BF00122082
• ISSN (electronic): 1572-8102

Staff

Dr Marta Pietkiewicz-Koutny Lecturer	Email: marta.koutny@ncl.ac.uk Telephone: +44 191 222 795 7
Professor Alex Yakovlev Professor of Computer System Design	Email: alex.yakovlev@ncl.ac.uk Telephone: +44 (0) 191 222 8184