Mark Bickford. Composable specifications for asynchronous systems using UNITY. In Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1994, Salt Lake City, UT, USA, November 3-5, 1994. pages 216-227, IEEE, 1994. [doi]
Abstract is missing.