A Model for Real-Time Systems

Forfattere

  • Padmanabhan Krishnan

DOI:

https://doi.org/10.7146/dpb.v20i352.6582

Resumé

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

Forfatterbiografi

Padmanabhan Krishnan

Downloads

Publiceret

1991-04-01

Citation/Eksport

Krishnan, P. (1991). A Model for Real-Time Systems. DAIMI Report Series, 20(352). https://doi.org/10.7146/dpb.v20i352.6582

Nummer

Nr. 352 (1991): PB-352 A Model for Real-Time Systems

Sektion

Articles

Licens

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.