Modal Kleene algebra and applications — a survey (0)

by J Desharnais, B Möller, G Struth
Venue:Journal on Relational Methods in Computer Science, 1:93–131, 2004. [DS08a] J. Desharnais and G. Struth, “Modal semirings revisited”, in P. Audebaud and C