A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus

We present a logic for real time systems specification which is an extension of first order dynamic logic by adding (a) arbitrary atomic actions rather than only assignments, (b) variables over actions which allow to specify systems partially, and (c) explicit time. The logic is algebraized using cl...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Baum, Gabriel Alfredo, Frias, Marcelo F., Maibaum, Tom
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1999
Materias:
Informática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/137397
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-137397
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Informática
spellingShingle Informática
Baum, Gabriel Alfredo
Frias, Marcelo F.
Maibaum, Tom
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
topic_facet Informática
description We present a logic for real time systems specification which is an extension of first order dynamic logic by adding (a) arbitrary atomic actions rather than only assignments, (b) variables over actions which allow to specify systems partially, and (c) explicit time. The logic is algebraized using closure fork algebras and a representation theorem for this class is presented. This allows to define an equational (but infinitary) proof system for the algebraization.
format Objeto de conferencia
Objeto de conferencia
author Baum, Gabriel Alfredo
Frias, Marcelo F.
Maibaum, Tom
author_facet Baum, Gabriel Alfredo
Frias, Marcelo F.
Maibaum, Tom
author_sort Baum, Gabriel Alfredo
title A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
title_short A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
title_full A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
title_fullStr A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
title_full_unstemmed A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus
title_sort logic for real-time systems specification, its algebraic semantics, and equational calculus
publishDate 1999
url http://sedici.unlp.edu.ar/handle/10915/137397
work_keys_str_mv AT baumgabrielalfredo alogicforrealtimesystemsspecificationitsalgebraicsemanticsandequationalcalculus
AT friasmarcelof alogicforrealtimesystemsspecificationitsalgebraicsemanticsandequationalcalculus
AT maibaumtom alogicforrealtimesystemsspecificationitsalgebraicsemanticsandequationalcalculus
AT baumgabrielalfredo logicforrealtimesystemsspecificationitsalgebraicsemanticsandequationalcalculus
AT friasmarcelof logicforrealtimesystemsspecificationitsalgebraicsemanticsandequationalcalculus
AT maibaumtom logicforrealtimesystemsspecificationitsalgebraicsemanticsandequationalcalculus
bdutipo_str Repositorios
_version_ 1764820456916910082

Ejemplares similares