Open AccessA Model for Real-Time Systems
Author(s) -
Padmanabhan Krishnan
Publication year - 1991
Publication title -
daimi report series
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom