Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

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

Belongs to book: Algebraic Methodology and Software Technology
Document type: Objeto de conferencia

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.

General information

Exposure date: 1999
Issue date: 1998
Document language: Spanish
Event: 7th International Conference (AMAST'98) (Amazonia, Brazil, January 4-8, 1999)
Origin: Laboratorio de Investigación y Formación en Informática Avanzada
ISSN: 0302-9743
Pages: 91-105
Subjects: Informática

Download Files

Thumbnail
Document
Download file (288.9Kb) - PDF
 
Created: 6 de junio de 2022
Available since: 6 de junio de 2022
Please, use one of this identificators(URI) for cite o linking this item:
  • http://sedici.unlp.edu.ar/handle/10915/137397
  • https://doi.org/10.1007/3-540-49253-4_9

    • This item appears in the following Collection(s)

    Creative Commons Attribution 4.0 International (CC BY 4.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution 4.0 International (CC BY 4.0)