Henrik Hulgaard, Steven M. Burns. Bounded delay timing analysis of a class of CSP programs with choice. 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 2-11, IEEE, 1994. [doi]
Abstract is missing.