Coalgebraic Component Specification and Verification in RSL

S. Meng and B. K. Aichernig

Abstract:

Reference: S. Meng and B. K. Aichernig. Coalgebraic component specification and verification in RSL. In Proceedings of the 6^th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005, Dalian, China, December 5-8, 2005. IEEE Computer Society, 2005.