J. Herath;Y. Yamaguchi;K. Toda;R. Mattingley;N. Saito;T. Yuba
-;-;-;-;-;-
A formally based framework for supporting design and analysis of asynchronous hardware systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods