Coalgebraic Component Specification and Verification in RSL.

Sun Meng, Bernhard K. Aichernig, Zhang Naixiao

Browse the full PDCAT paper archive.