Open AccessA Model for Real-Time Systems
Author(s) -
Padmanabhan Krishnan
Publication year - 1991
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v20i352.6582
Subject(s) - equivalence (formal languages) , modal , congruence (geometry) , temporal logic , congruence relation , logical equivalence , computer science , mathematics , theoretical computer science , algorithm , algebra over a field , discrete mathematics , pure mathematics , geometry , chemistry , polymer chemistry
In this paper we define an equivalence and a modal logic for real-time systems. The equivalence is based on timed processes and timing specifications they have to satisfy. While the equivalence we define is not a congruence, it does satisfy many laws