A real-time transition model for analyzing behavioral compatibility of telecommunications services
- 1 September 1991
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 101-111
- https://doi.org/10.1145/125083.123059
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Explicit clock temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logic of concrete time intervalsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Analyzing service specifications based upon the logic programming paradigmPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- Temporal proof methodologies for real-time systemsPublished by Association for Computing Machinery (ACM) ,1991
- Using mappings to prove timing propertiesPublished by Association for Computing Machinery (ACM) ,1990
- Deciding properties of timed transition modelsIEEE Transactions on Parallel and Distributed Systems, 1990
- The anchored version of the temporal frameworkPublished by Springer Nature ,1989
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980