A real-time transition model for analyzing behavioral compatibility of telecommunications services

[1]  Krishan K. Sabnani,et al.  A Calculus for Protocol Specification and Validation , 1983, Protocol Specification, Testing and Verification.

[2]  Thomas A. Henzinger,et al.  A really temporal logic , 1989, 30th Annual Symposium on Foundations of Computer Science.

[3]  Y.-J. Lin,et al.  Analyzing service specifications based upon the logic programming paradigm , 1990, [Proceedings] GLOBECOM '90: IEEE Global Telecommunications Conference and Exhibition.

[4]  Amir Pnueli,et al.  Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[5]  Fuchun Joseph Lin,et al.  An integrated approach to verification and performance analysis of communication protocols , 1988 .

[6]  Jeff Rothenberg,et al.  Qualitative modeling using the causality relation , 1991 .

[7]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[8]  Jonathan S. Ostroff,et al.  Deciding Properties of Timed Transition Models , 1990, IEEE Trans. Parallel Distributed Syst..

[9]  Thomas A. Henzinger,et al.  Temporal proof methodologies for real-time systems , 1991, POPL '91.

[10]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.

[11]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[12]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[13]  Nancy A. Lynch,et al.  Using mappings to prove timing properties , 1990, PODC '90.

[14]  Harry R. Lewis,et al.  A logic of concrete time intervals , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[15]  Zohar Manna,et al.  The anchored version of the temporal framework , 1988, REX Workshop.

[16]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .