Bisimulations for non-deterministic labelled Markov processes

• Autores: Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 22, Nº 1, 2012, págs. 43-68
• Idioma: inglés
• Texto completo no disponible (Saber más ...)