SCOPUS 정보 검색 플랫폼

Volumn 64, Issue 10, 1985, Pages 2413-2433

Tracing Protocols

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMS; COMPUTERS - DATA COMMUNICATION SYSTEMS;

PROTOCOL VALIDATION; SCATTER SEARCHING METHOD; SYMBOLIC EXECUTION; TRACING PROTOCOLS;

COMPUTER NETWORKS;

EID: 0022214646 PISSN: 87562324 EISSN: 15387305 Source Type: Journal
DOI: 10.1002/j.1538-7305.1985.tb00010.x Document Type: Article

Times cited : (35)

References (17)

1
- 0020159935
- “A Formal Specification Technique and Implementation Method for Protocols,”
- (1982) Comput. Networks , vol.6 , Issue.3 , pp. 201-219
- Blumer, T.P.¹ Tenney, R.L.²

2
- 49349123389
- “Verification of Protocols Using Symbolic Execution,”
- (1978) Comput. Networks , vol.2 , pp. 351-360
- Brand, D.¹ Joyner, W.H.²

3
- 84944837619
- “Automatically Verified Data Transfer Protocols,” Proc. 4th ICCC, Kyoto
- (1978) , pp. 749-756
- Hajek, J.¹

4
- 84944832032
- “Applications and Limitations of Automated Protocol Validation,” Proc. 2nd IFIP WG 6.1 Int. Workshop on Protocol Specification, Testing, and Verification, USC/ISI, Idyllwild, Calif.
- (1982) , pp. 361-373
- West, C.¹

5
- 0019009364
- “Toward Analyzing and Synthesizing Protocols,”
- (1980) IEEE Trans. Commun. , vol.28 COM , Issue.4 , pp. 651-661
- Zafiropulo, P.¹

6
- 0003630836
- “A Calculus for Communicating Systems,”
- (1980) Lecture Notes in Computer Science , vol.92
- Milner, R.¹

7
- 0020167560
- “A Theory for Protocol Validation,”
- (1982) IEEE Trans. Comput , vol.100-131 , Issue.8 , pp. 730-738
- Holzmann, G.J.¹

8
- 0021405379
- “The Pandora System—An Interactive System for the Design of Data Communication Protocols,”
- (1984) Comput. Networks , vol.8 , Issue.2 , pp. 71-81
- Holzmann, G.J.¹

11
- 84944864130
- AT&T Bell Laboratories, internal report
- (1985) “Trace—Performance Measurements,”
- Holzmann, G.J.¹

12
- 84944864131
- “Automated Protocol Validation in ‘Argos,’ Assertion Proving and Scatter Searching,”, available from the author.
- (1984)
- Holzmann, G.J.¹

13
- 0018005391
- “Communicating Sequential Processes,”
- (1978) Comm. ACM , vol.21 , Issue.8 , pp. 666-677
- Hoare, C.A.R.¹

14
- 0016543936
- “Guarded Commands, Nondeterminacy and Formal Derivation of Programs,”
- (1975) Comm. ACM , vol.18 , Issue.8 , pp. 453-457
- Dijkstra, E.W.¹

15
- 0022018019
- “Proposed Specification of BX.25 Link Layer Protocol,”
- (1985) AT&T Tech. J. , vol.64 , Issue.2 , pp. 559-596
- Kurshan, R.P.¹

16
- 84944864132
- Specification of a Transport Protocol for Computer Communications, “Service Specifications”
- (1984) , pp. 4

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