Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2022-06-06T15:39:38Z
dc.date.available 2022-06-06T15:39:38Z
dc.date.issued 1998
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/137397
dc.description.abstract 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. en
dc.format.extent 91-105 es
dc.language es es
dc.title A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus en
dc.type Objeto de conferencia es
sedici.identifier.other doi:10.1007/3-540-49253-4_9 es
sedici.identifier.issn 0302-9743 es
sedici.creator.person Baum, Gabriel Alfredo es
sedici.creator.person Frias, Marcelo F. es
sedici.creator.person Maibaum, Tom es
sedici.subject.materias Informática es
sedici.description.fulltext true es
mods.originInfo.place Laboratorio de Investigación y Formación en Informática Avanzada es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution 4.0 International (CC BY 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by/4.0/
sedici.date.exposure 1999
sedici.relation.event 7th International Conference (AMAST'98) (Amazonia, Brazil, January 4-8, 1999) es
sedici.description.peerReview peer-review es
sedici.relation.bookTitle Algebraic Methodology and Software Technology es


Descargar archivos

Thumbnail
Documento
Descargar archivo (288.9Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution 4.0 International (CC BY 4.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution 4.0 International (CC BY 4.0)