Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic

• Autores: Sergio Arturo Celani
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 66, Nº. 1-2, 2011, págs. 183-204
• Idioma: inglés
• DOI: 10.1007/s00012-011-0153-0
• Texto completo no disponible (Saber más ...)