Sun Meng, Bernhard K. Aichernig, Zhang Naixiao. Coalgebraic Component Specification and Verification in RSL. In Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China. pages 424-426, IEEE Computer Society, 2005. [doi]
Abstract is missing.