SCOPUS 정보 검색 플랫폼

Volumn 2, Issue 3, 1987, Pages 161-175

Algorithms for distributed termination detection

a UNIVERSITY OF KAISERSLAUTERN (Germany)

Author keywords

Asynchronous communication systems; Atomic model of computation; Communication deadlock detection; Decentralized control; Diffusing computation; Distributed programming; Distributed termination; Global quiescence; Global snapshots; Termination detection

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS;

ASYNCHRONOUS COMMUNICATION; DISTRIBUTED TERMINATION DETECTION; GLOBAL DEADLOCK STATE; MESSAGE COUNTING; TIME DIAGRAMS;

COMPUTER SYSTEMS, DIGITAL;

EID: 0023593920 PISSN: 01782770 EISSN: 14320452 Source Type: Journal
DOI: 10.1007/BF01782776 Document Type: Article

Times cited : (198)

References (62)

1
- 84884694596
- Real time clocks versus virtual clocks
- M., Broy, Springer, Berlin Heidelberg New York
- (1985) Control flow and data flow: Concepts of distributed programming , pp. 475-501
- Apt, K.R.¹ Richier, J-L²

2
- 0022757530
- Correctness proofs of distributed termination algorithms
- (1986) ACM Trans Program Lang Syst , vol.8 , Issue.3 , pp. 388-405
- Apt, K.R.¹

3
- 0020500118
- A methodology to solve distributed termination problem
- (1983) Inf Syst , vol.8 , Issue.1 , pp. 37-39
- Arora, R.K.¹ Sharma, N.K.²

4
- 84936579718
- Department of Computer Science, University of Kaiserlautern, FRG
- (1985) Verteilte Terminierung — ein wesentlicher Aspekt der Kontrolle in verteilten Systemen
- Beilken, C.¹ Mattern, F.² Reinfrank, M.³

5
- 33747665229
- LITP, Universite Paris 7, France
- (1985) Symmetry and genericity for CSP in distributed systems
- Bougé, L.¹

6
- 84936591957
- Repeated synchronous snapshots and their implementation in CSP
- W., Brauer, LNCS, 194, Springer, Berlin Heidelberg New York
- (1985) 12th Coll Automata, Lang and Programming , pp. 63-70
- Bougé, L.¹

7
- 84976860609
- Distributed deadlock detection
- (1983) ACM Transactions on Computer Systems , vol.1 , Issue.2 , pp. 144-156
- Chandy, K.M.¹ Mirsa, J.² Haas, L.M.³

8
- 0022020346
- Distributed snapshots: Determining global states of distributed systems
- (1985) ACM Trans Comput Syst , vol.3 , Issue.1 , pp. 63-75
- Chandy, K.M.¹ Lamport, L.²

9
- 0347220716
- A paradigm for detecting quiescent properties in distributed computations
- K.R., Apt, Springer, Berlin Heidelberg New York
- (1985) Logics and models of concurrent systems , pp. 325-341
- Chandy, K.M.¹ Misra, J.²

10
- 0022757368
- An example of stepwise refinement of distributed programs: quiescence detection
- (1986) ACM Trans Program Lang Syst , vol.8 , Issue.3 , pp. 326-343
- Chandy, K.M.¹ Misra, J.²

11
- 0020151814
- Echo algorithms: Depth parallel operations on general graphs
- (1982) IEEE Trans Software Eng SE , vol.8 , Issue.4 , pp. 391-401
- Chang, E.J.H.¹

12
- 0004292380
- Artificial Intelligence Laboratory, Massachusetts Institute of Technology, USA
- (1981) Foundations of actor semantics
- Clinger, W.D.¹

13
- 84936591960
- Cohen S, Lehman D (1982) Dynamic systems and their distributed termination. Proc ACM SIGACT-SIGOPS Symp Principles Distributed Comput, Ottawa, pp 29–33

14
- 84982876650
- Termination detection for diffusing computations
- (1980) Information Processing Letters , vol.11 , Issue.1 , pp. 1-4
- Dijkstra, E.W.¹ Scholten, C.S.²

15
- 0020767389
- Derivation of a termination detection algorithm for distributed computations
- (1983) Inf Process Lett , vol.16 , Issue.5 , pp. 217-219
- Dijkstra, E.W.¹ Feijen, W.H.J.² van Gasteren, A.J.M.³

16
- 84976809509
- Distributed termination
- (1980) ACM Transactions on Programming Languages and Systems , vol.2 , Issue.1 , pp. 42-55
- Francez, N.¹

17
- 0019693058
- Distributed termination with interval assertions
- J., Diaz, I., Ramos, LNCS, 107, Springer, Berlin Heidelberg New York
- (1981) Proc Int Colloq Formalization of Programming Concepts , pp. 280-289
- Francez, N.¹ Rodeh, M.² Sintzoff, M.³

18
- 0020125606
- Achieving distributed termination without freezing
- (1982) IEEE Trans Software Eng SE , vol.8 , Issue.3 , pp. 287-292
- Francez, N.¹ Rodeh, M.²

19
- 84936684490
- A class of termination detection algorithms for distributed computations
- N., Mahheshwari, LNCS, 206, Springer, Berlin Heidelberg New York
- (1985) 5th Conf on Foundations of Software Technology and Theoretical Computer Science, New Delhi , pp. 73-100
- Kumar, D.¹

20
- 84936591959
- Computer and Information Science Research Center. Ohio State University, Columbus, USA
- (1985) Termination detection for dynamic distributed systems with non-first-in-first-out communication
- Lai, T-H¹

21
- 84936585570
- A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication
- L., Kott, LNCS, 226, Springer, Berlin Heidelberg New York
- (1986) 13th Coll Automata, Lang and Programming , pp. 196-205
- Lai, T-H¹

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

23
- 0022766240
- A fully distributed (minimal) spanning tree algorithm
- (1986) Inf Process Lett , vol.23 , pp. 55-62
- Lavallee, I.¹ Roucairol, G.²

24
- 84936591962
- Department of Computer Science, The Hebrew University of Jerusalem, Israel
- (1984) Yet another distributed termination
- Lozinskii, E.L.¹

25
- 84936591961
- Lozinskii EL (1985) A remark on distributed termination. Proc 5th Internat Conf on Distributed Computing Systems, Denver, pp 416–419

26
- 84916433282
- Department of Computer Science, University of Kaiserslautern, FRG
- (1985) The distributed programming language CSSA—a short introduction
- Mattern, F.¹ Beilken, C.²

27
- 84936591963
- Department of Computer Science, University of Kaiserslautern, FRG
- (1986) Asynchronous distributed termination—parallel and symmetric solutions with echo algorithms
- Mattern, F.¹

28
- 0004667092
- Termination detection of diffusing computations in communicating sequential processes
- (1982) ACM Transactions on Programming Languages and Systems , vol.4 , Issue.1 , pp. 37-43
- Misra, J.¹ Chandy, K.M.²

29
- 84936591964
- Misra J (1983) Detecting termination of distributed computations using markers. Proc 2nd Ann ACM Symp Principles Distributed Comput, Montreal, Quebec, pp 290–294

30
- 0023399956
- Key concepts of the INCAS multicomputer project
- (1987) IEEE Trans Software Eng SE , vol.13 , Issue.8 , pp. 913-923
- Nehmer, J.¹

31
- 0020789582
- A distributed solution of the distributed termination problem
- (1983) Inf Process Lett , vol.17 , Issue.1 , pp. 43-46
- Rana, S.P.¹

32
- 84936679136
- Distributed termination in CSP: Symmetric solutions with minimal storage
- K., Mehlhorn, LNCS, 182, Springer, Berlin Heidelberg New York
- (1985) Proc STACS 85 , pp. 267-278
- Richier, J-L¹

33
- 84936591965
- Model and complexity of termination for distributed computations
- J., Gruska, B., Rovan, J., Wiedermann, LNCS, 233, Springer, Berlin Heidelberg New York
- (1986) Proc Math Found Comp Sc 86 , pp. 564-572
- Rozoy, B.¹

34
- 0345959482
- IBM Thomas J Watson Research Center, Yorktown Heights, USA
- (1986) A new approach to detection of locally indicative stability
- Shavit, N.¹ Francez, N.²

35
- 84909739889
- Department of Computer Science, University of Utrecht, The Netherlands
- (1986) General symmetric distributed termination detection
- Tan, R.B.¹ van Leeuwen, J.²

36
- 84914883421
- Department of Computer Science, University of Utrecht, The Netherlands
- (1986) Distributed infimum approximation
- Tel, G.¹

37
- 12844256193
- Department of Computer Science, University of Utrecht, The Netherlands
- (1986) The derivation of graph marking algorithms from distributed termination detection protocols
- Tel, G.¹ Tan, R.B.² van Leeuwen, J.³

38
- 0021204351
- Termination detection for distributed computations
- (1984) Inf Process Lett , vol.18 , Issue.1 , pp. 33-36
- Topor, R.W.¹

39
- 0022148218
- Synchronized distributed termination
- (1985) IEEE Trans Software Eng SE , vol.11 , Issue.10 , pp. 1136-1140
- Szymanski, B.¹ Shi, Y.² Prywes, N.S.³

40
- 0011560788
- Bell Laboratories, Murray Hill, USA
- (1987) Detecting global termination conditions in the face of uncertainty
- Afek, Y.¹ Saks, M.²

41
- 84936591949
- Philips Research Laboratories, Eindhoven, The Netherlands
- (1986) Establishing global assertions in a distributed environment
- Augusteijn, L.¹

42
- 0022718004
- Distributed termination detection algorithm for distributed computations
- (1986) Inf Process Lett , vol.22 , pp. 311-314
- Arora, R.K.¹ Rana, S.P.² Gupta, M.N.³

43
- 84936591948
- Proc IFIP Conf Distributed Processing, North-Holland, Amsterdam New York Oxford
- (1987) Efficient distributed termination detection
- Chandrasekaran, S.¹ Kannan, C.S.² Venkatesan, S.³

44
- 3042987555
- Department of Computer Science, University of Texas at Austin, USA
- (1987) Shmuel Safra's version of termination detection
- Dijkstra, E.W.¹

45
- 0345959486
- Symmetric distributed termination
- G., Rozenberg, A., Salomaa, Springer, Berlin Heidelberg New York
- (1986) The book of L. , pp. 427-430
- Erikson, O.¹ Skyum, S.²

46
- 84936591946
- LITP, Universite Paris 7, France
- (1986) Finite or not finite solutions for the distributed termination problem
- Ferment, D.¹

47
- 84936591950
- LITP, Universite Paris 7, France
- (1986) Possibility and impossibility of solutions for the distributed termination problem
- Ferment, D.¹ Rozoy, B.²

48
- 84936591951
- Solutions for the distributed termination problem
- A., Albrecht, H., Jung, K., Mehlhorn, LNCS, 269, Springer, Berlin Heidelberg New York
- (1987) Parallel algorithms and architectures
- Ferment, D.¹ Rozoy, B.²

49
- 0023312640
- A distributed algorithm for distributed termination
- It is not the ‘classical’ distributed termination problem: processes are never reactivated. See also Tel G, Van Leeuwen J (1987) Comments on “A distributed algorithm for distributed termination”. Inf Process Lett 25:349
- (1987) Inf Process Lett , vol.24 , pp. 293-297
- Hazari, C.¹ Zedan, H.²

50
- 84936591952
- Helary J-M, Jard C, Plouzeau N, Raynal M (1987) Detection of stable properties in distributed applications. Proc 6th ACM Symp Principles Distributed Comput

51
- 84936591955
- Department of Computer Science, Cornell University, USA
- (1987) Effects of message loss on distributed termination
- Koo, R.¹ Toueg, S.²

52
- 38249039436
- Termination detection for dynamic distributed systems with non-first-in-first-out communication
- (1986) J Parallel and Distributed Computing , vol.3 , pp. 577-599
- Lai, T-H¹

53
- 84936591956
- Department of Computer and Information Science, The Ohio State University, USA
- (1987) Message-optimal algorithms for termination detection in broadcast networks
- Lai, T-H¹

54
- 84936591953
- Experience with a new distributed termination detection algorithm
- E., Gafni, M., Raynal, N., Santoro, J., Van Leeuwen, S., Zaks, LNCS, Springer, Berlin Heidelberg New York
- (1987) Proc 2nd Int Workshop Distributed Algorithms, Amsterdam
- Mattern, F.¹

55
- 84936591954
- Department of Computer Science, University of Kaiserslautern, FRG
- (1987) An efficient distributed termination test
- Mattern, F.¹

56
- 84936545441
- High level petri nets and distributed termination
- K., Voss, H.J., Genrich, G., Rozenberg, Springer, Berlin Heidelberg New York
- (1987) Concurrency and nets , pp. 349-362
- Müller, H.¹

57
- 84936591936
- On the construction of distributed programs
- Y., Paker, J-P, Banatre, M., Bozyigit, Springer, Berlin Heidelberg New York
- (1987) Distributed operating systems: theory and practice , pp. 47-65
- Roucairol, G.¹

58
- 0022582924
- Distributed termination on a ring
- (1986) BIT , vol.26 , pp. 188-194
- Saikkonen, H.¹ Ronn, S.²

59
- 84936591935
- Proc IFIP Conf Distributed Processing, North-Holland, Amsterdam New York Oxford
- (1987) A method for the construction of probebased termination detection algorithms
- Sanders, B.A.¹

60
- 85034641241
- A new approach to detection of locally indicative stability
- L., Kott, LNCS, 226, Springer, Berlin Heidelberg New York
- (1986) 13th Coll Automata, Lang and Programming , pp. 344-358
- Shavit, N.¹ Francez, N.²

61
- 0023348598
- On the proof of a distributed algorithm
- (1987) Inf Process Lett , vol.25 , pp. 145-147
- Verjus, J.P.¹

62
- 0022985226
- Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen
- (1986) Informationstechnik , vol.28 , Issue.4 , pp. 204-213
- Zöbel, D.¹

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