User menu

A semiring approach to equivalences, bisimulations and control

Bibliographic reference Glück, Roland ; Möller, Bernhard ; Sintzoff, Michel. A semiring approach to equivalences, bisimulations and control.the 11th International Conference on Relational Methods in Computer Science (Doha, Qatar, du 01/11/2009 au 05/11/2009). In: Berghammer,Rudolf ; Jaoua,Ali Mohamed;Möller, Bernhard, Relations and Kleene Algebra in Computer Science, Springer : Berlin2009, p. 132-149
Permanent URL http://hdl.handle.net/2078.1/89144