메뉴 건너뛰기




Volumn 19, Issue 14, 1996, Pages 1188-1199

Validation of protocols with temporal constraints

Author keywords

Communication properties; Protocols; Temporal communicating systems; Temporal constraints; Temporal reachability analysis; Transition models; Validation

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA COMMUNICATION SYSTEMS; GRAPH THEORY; SIGNAL INTERFERENCE; SPURIOUS SIGNAL NOISE;

EID: 0030365406     PISSN: 01403664     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0140-3664(96)01153-X     Document Type: Article
Times cited : (5)

References (19)
  • 1
    • 0018005960 scopus 로고
    • An automated technique of communications protocol validation
    • C.H. West, An automated technique of communications protocol validation, IEEE Trans. Comm., 26 (1978) 1271-1275.
    • (1978) IEEE Trans. Comm. , vol.26 , pp. 1271-1275
    • West, C.H.1
  • 2
    • 0020735797 scopus 로고
    • On communicating finite state machines
    • D. Brand and P. Zafiropulo, On communicating finite state machines, J. ACM, 30 (1983) 361-371.
    • (1983) J. ACM , vol.30 , pp. 361-371
    • Brand, D.1    Zafiropulo, P.2
  • 6
    • 0003576234 scopus 로고
    • Analysis of asynchronous concurrent systems by timed Petri nets
    • MIT
    • C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Technical Report 120, MIT, 1974.
    • (1974) Technical Report 120
    • Ramchandani, C.1
  • 7
    • 0017001923 scopus 로고
    • Recoverability of communication protocols
    • P. Merlin and D.J. Faber, Recoverability of communication protocols, IEEE Trans. Comm., 24 (1976) 1036-1048.
    • (1976) IEEE Trans. Comm. , vol.24 , pp. 1036-1048
    • Merlin, P.1    Faber, D.J.2
  • 8
    • 0026120365 scopus 로고
    • Modeling and verification of time dependent systems using time Petri nets
    • B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Trans. Soft. Eng., 17 (1991) 259-273.
    • (1991) IEEE Trans. Soft. Eng. , vol.17 , pp. 259-273
    • Berthomieu, B.1    Diaz, M.2
  • 9
    • 0000655710 scopus 로고
    • Automata for modelling real-time systems
    • LNCS 443, Springer-Verlag
    • R. Alur and D.L. Dill, Automata for modelling real-time systems, Proc. ICALP'90, LNCS 443, Springer-Verlag, 1990, pp. 323-335.
    • (1990) Proc. ICALP'90 , pp. 323-335
    • Alur, R.1    Dill, D.L.2
  • 11
    • 85029884473 scopus 로고
    • Timed transition systems
    • LNCS 600, Springer-Verlag
    • T.A. Henzinger, Z. Manna and A. Pnueli, Timed transition systems, Proc. REX Workshop, LNCS 600, Springer-Verlag, 1991, pp. 226-251.
    • (1991) Proc. REX Workshop , pp. 226-251
    • Henzinger, T.A.1    Manna, Z.2    Pnueli, A.3
  • 12
    • 0026913218 scopus 로고
    • Communicating real-time state machines
    • A.C. Shaw, Communicating real-time state machines, IEEE Trans. Soft. Eng., 18 (1992) 805-816.
    • (1992) IEEE Trans. Soft. Eng. , vol.18 , pp. 805-816
    • Shaw, A.C.1
  • 13
    • 51549096502 scopus 로고
    • Logics and models of real-time: A survey
    • LNCS 600, Springer-Verlag
    • R. Alur and T.A. Henzinger, Logics and models of real-time: a survey, Proc. REX Workshop, LNCS 600, Springer-Verlag, 1991, pp. 74-106.
    • (1991) Proc. REX Workshop , pp. 74-106
    • Alur, R.1    Henzinger, T.A.2
  • 14
    • 85029615220 scopus 로고
    • An overview and synthesis on timed process algebras
    • LNCS 575, Springer-Verlag
    • X. Nicollin and J. Sifakis, An overview and synthesis on timed process algebras, Proc. CAV'91, LNCS 575, Springer-Verlag, 1991, pp. 376-398.
    • (1991) Proc. CAV'91 , pp. 376-398
    • Nicollin, X.1    Sifakis, J.2
  • 19
    • 0018728016 scopus 로고
    • A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
    • B. Aspavall and Y. Shiloach, A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality, Proc. 20th Ann. Symp. on Foundation of Computer Science, IEEE, 1979, pp. 205-217.
    • (1979) Proc. 20th Ann. Symp. on Foundation of Computer Science, IEEE , pp. 205-217
    • Aspavall, B.1    Shiloach, Y.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.