Bounded delay timing analysis of a class of CSP programs with choice

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]

Authors

Henrik Hulgaard

This author has not been identified. Look up 'Henrik Hulgaard' in Google

Steven M. Burns

This author has not been identified. Look up 'Steven M. Burns' in Google