SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Distributed Computing

Volumn 2, Issue 2, 1987, Pages 61-79

Time-dependent distributed systems: proving safety, liveness and real-time properties

(2) Shankar, A Udaya a Lam, Simon S b

a UNIVERSITY OF MARYLAND (United States)

b UNIVERSITY OF TEXAS AT AUSTIN (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS;

EVENT-DRIVEN SYSTEM; SLIDING WINDOW PROTOCOL; TIME-DEPENDENT DISTRIBUTED SYSTEMS;

COMPUTER SYSTEMS, DIGITAL;

EID: 0023399921 PISSN: 01782770 EISSN: 14320452 Source Type: Journal
DOI: 10.1007/BF01667079 Document Type: Article

Times cited : (41)

References (27)

1
- 84936599549
- Bartlett KA Scantlebury RA, Wilkinson PT (1969) A note on reliable full-duplex transmission over half-duplex links. Commun ACM (May 1969)

2
- 84936599546
- Chandy KM, Misra J (1986) An example of stepwise refinement of distributed programs. ACM Trans Program Lang Syst, vol. 8, no. 3 (July 1986)

3
- 84936599547
- Clark DD (1983) Protocol implementation: practical considerations. ACM SIGCOMM'83 Tutorial, University of Texas at Austin (March 1983)

4
- 0004253669
- Prentice-Hall, Englewood Cliffs, NJ
- (1976) A discipline of programming
- Dijkstra, E.W.¹

5
- 0037643799
- A proof method for cyclic Programs
- (1978) Acta Inf , vol.9 , pp. 133-157
- Francez, N.¹ Pnueli, A.²

6
- 0020647877
- Modular verification of computer communication protocols
- (1983) IEEE Trans Commun, COM , vol.31 , pp. 1
- Hailpern, B.T.¹ Owicki, S.S.²

7
- 84936599543
- IEEE Project 802 Local Area Network Standards. CSMA/CD access method and physical layer specifications. Draft IEEE Standard 802.3, Revision D (December 1982)

8
- 84936599544
- International Standards Organization (1979) Data communication —High-level data link control procedures — frame structure. Ref. No. ISO 3309 (2nd edn). Data communications — HDLC procedures — Elements of procedures. Ref. No. ISO 4335 (1st edn). International Standards Organization, Geneva, Switzerland

9
- 84936599545
- International Standards Organization (1984) Information processing systems-Open systems interconnection — Transport protocol specifications. Ref. No. ISO/TC 97/SC 16 N 1990, DIS 8073 Rev (September 1984)

10
- 84936599539
- Knuth DE (1973) The art of computer programming, vol 1: fundamental algorithms (2nd edn). Addison-Wesley, p 20

11
- 0019691568
- Verification of link-level protocols
- (1981) BIT , vol.21 , pp. 31-36
- Knuth, D.E.¹

12
- 0017996760
- Time, clocks, and the ordering of events in a distributed system
- (1978) Commun ACM , vol.21 , Issue.7 , pp. 558-565
- Lamport, L.¹

13
- 0020231024
- An assertional correctness proof of a distributed algorithm
- (1982) Sci Comput Program , vol.2 , pp. 175-206
- Lamport, L.¹

14
- 84976663837
- Specifying concurrent program modules
- (1983) ACM Transactions on Programming Languages and Systems , vol.5 , Issue.2 , pp. 190-222
- Lamport, L.¹

15
- 84936599540
- Lamport L (1983) What good is temporal logic? Proc IFIP 9th World Congress, IFIP, North Holland, Paris (September 1983)

16
- 84936599541
- Lamport L (1986) Specification simplified. Preliminary Draft, Digital Equipment Corporation (May 1986)

17
- 84936599542
- Misra J, Chandy KM (1981) Proofs of networks of processes. IEEE Trans Software Eng Vol SE-7, No 4 (July 1981)

18
- 84936599536
- Owicki S, Gries D (1976) Verifying properties of parallel programs: an axiomatic approach. Commun ACM, vol 19, na 5 (May 1976)

19
- 84976730945
- Proving liveness properties of concurrent programs
- (1982) ACM Transactions on Programming Languages and Systems , vol.4 , Issue.3 , pp. 455-495
- Owicki, S.¹ Lamport, L.²

20
- 84936599537
- Postel J (ed) (1980) DOD standard transmission control protocol. Defense Advanced Research Projects Agency, Information Processing Techniques Office, RFC 761, IEN 129. ACM Computer Communication Review 10(4):52–132

21
- 84976693592
- An HDLC protocol specification and its verification using image protocols
- (1983) ACM Transactions on Computer Systems , vol.1 , Issue.4 , pp. 331-368
- Shankar, A.U.¹ Lam, S.S.²

22
- 84936599538
- Shankar AU, Lam SS (1984) Time-dependent communication protocols. In: Lam S (ed) Tutorial: principles of communication and networking protocols. IEEE Computer Society

23
- 84936599492
- Shankar AU, Lam SS (1985) Time-dependent distributed systems: proving safety, liveness and real-time properties. Tech Rep CS-TR-1586, Comput Sci Dept, Univ Maryland, also TR-85-24, Comput Sci Dept, Univ Texas October 1985

24
- 84936599491
- Shankar AU, Lam SS (1986) Construction of sliding window protocols. Tech Rep CS-TR-1647, Comput Sci Dept Univ Maryland, also TR-86-09, Comput Sci Dept, Univ Texas (March 1986)

25
- 84936599490
- Shankar AU (1986) A verified sliding window protocol with variable flow control. Proc ACM SIGCOMM '86, Stowe, Vermont (August 1986), also Tech Rep CS-TR-1638, Comput Sci Dept Univ Maryland

26
- 84976698095
- Mechanisms that enforce bounds on packet lifetimes
- (1983) ACM Transactions on Computer Systems , vol.1 , Issue.4 , pp. 311-330
- Sloan, L.¹

27
- 0003339638
- A data transfer protocol
- (1976) Comput Networks , vol.1 , pp. 99-110
- Stenning, N.V.¹

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