Coalgebraic Component Specification and Verification in RSL

S. Meng, B. K. Aichernig, and Z. Naixiao

Abstract:

Reference: S. Meng, B. K. Aichernig, and Z. Naixiao. Coalgebraic component specification and verification in RSl. In PDCAT '05: Proceedings of the Sixth International Conference on Parallel and Distributed Computing Applications and Technologies, pages 424-426, Washington, DC, USA, 2005. IEEE Computer Society.