INVESTIGADORES
LOPEZ POMBO Carlos Gustavo
congresos y reuniones científicas
Título:
Time is on my side
Autor/es:
FRIAS, MARCELO FABIÁN; LOPEZ POMBO, CARLOS GUSTAVO
Lugar:
Malente, Germany
Reunión:
Conferencia; 7th. Conference on Relational Methods in Computer Science (RelMiCS) - 2nd. International Workshop on Applications of Kleene Algebra; 2003
Institución organizadora:
Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel
Resumen:
In this paper we prove theorems on the interpretability of the temporal logics LTL and TL to Fork Algebras. This result is part of a research project on interpretability of logics in Fork Algebras, and has important applications towards the relational specification of properties of systems.
