Arshad Beg, Andrew Butterfield. Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation. In FIT 10, 8th International Conference on Frontiers of Information Technology, Islamabad, Pakistan, December 21-23, 2010. pages 47, ACM, 2010. [doi]
Abstract is missing.