Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012) - Pattinson, Dirk; Schröder, Lutz (Springer, 2012)
UnivIS-Import:2015-07-08:Pub.2012.tech.IMMD.profes_1.procee
Keywords: Coalgebra modal logic concurrency security automata