Specification of real-time systems in real-time temporal interval logic
- 6 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Modeling and Verification of Real-Time Protocols for Broadcast NetworksIEEE Transactions on Software Engineering, 1987
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- Full abstraction of a real-time denotational semantics for an OCCAM-like languagePublished by Association for Computing Machinery (ACM) ,1987
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Checking that finite state concurrent programs satisfy their linear specificationPublished by Association for Computing Machinery (ACM) ,1985
- Demand Assignment Multiple Access Schemes in Broadcast Bus Local Area NetworksIEEE Transactions on Computers, 1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Real-time programming and asynchronous message passingPublished by Association for Computing Machinery (ACM) ,1983
- An interval logic for higher-level temporal reasoningPublished by Association for Computing Machinery (ACM) ,1983
- Process logic: Expressiveness, decidability, completenessJournal of Computer and System Sciences, 1982