SCOPUS 정보 검색 플랫폼

Volumn 266, Issue 1-2, 2001, Pages 693-735

Distributed processes and location failures

Author keywords

Barbed congruence; Distributed systems; Process semantics; Site failure

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; SEMANTICS;

BARBED CONGRUENCES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0035817847 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00326-1 Document Type: Article

Times cited : (31)

References (32)

1
- 0002534194
- The lazy lambda calculus
- D. Turner (Ed.), Addison-Wesley, Reading, MA
- (1990) Research Topics in Functional Programming, UT Year of Programming Series , pp. 65-117
- Abramsky, S.¹

2
- 0001017651
- A static view of localities
- (1994) Formal Aspects Comput. , vol.6 , pp. 201-222
- Aceto, L.¹

3
- 84957064722
- An asynchronous model of locality, failure, and process mobility
- COORDINATION '97, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1282
- Amadio, R.¹

4
- 0001254695
- On bisimulations for the asynchronous π-calculus
- (1998) Theoret. Comput. Sci. , vol.195 , pp. 291-324
- Amadio, R.¹ Castellani, I.² Sangiorgi, D.³

5
- 85000819056
- Localities and failures
- Proc. 14th Foundations of Software Technology and Theoretical Computer Science, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.880
- Amadio, R.¹ Prasad, S.²

7
- 0001786387
- A lambda calculus for (strict) parallel functions
- (1994) Inform. and Control , vol.108 , pp. 51-127
- Boudol, G.¹

8
- 0001464618
- A theory of processes with localities
- (1994) Formal Aspects Comput. , vol.6 , pp. 165-200
- Boudol, G.¹ Castellani, I.² Hennessy, M.³ Kiehn, A.⁴

9
- 0003735220
- Observing distribution in processes: Static and dynamic localities
- (1995) Internat. J. Foundations Comput. Sci. , vol.6 , Issue.6 , pp. 353-393
- Castellani, I.¹

10
- 0027342054
- The concurrency workbench: A semantics-based tool for the verification of finite-state systems
- (1993) ACM Trans. Programming Languages Systems , vol.15 , Issue.1 , pp. 36-72
- Cleaveland, R.¹ Parrow, J.² Steffen, B.³

11
- 0003734753
- Ph.D. Thesis, Università Degli Studi di Roma "La Sapienza"
- (1996) Space, Time and nondeterminism in process algebras
- Corradini, F.¹

12
- 85022860624
- Causal trees
- G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi della Rocca (Eds.), Proc. Internat. Colloquium on Automata, Languages and Programming, Stresa, Italy, Springer, Berlin, July
- (1989) Lecture Notes in Computer Science , vol.317 , pp. 234-248
- Darondeau, P.¹ Degano, P.²

13
- 85030149267
- Partial orderings descriptions and observations of nondeterministic concurrent processes
- J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.), Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Springer, Berlin, June 1988, School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, Netherlands
- (1988) Lecture Notes in Computer Science , vol.354 , pp. 438-466
- Degano, P.¹ De Nicola, R.² Montanari, U.³

14
- 85029819119
- Causal trees
- W. Kuich (Ed.), Proc. Internat. Colloquium on Automata, Languages and Programming, Wien, Austria, Springer, Berlin, July
- (1992) Lecture Notes in Computer Science , vol.623 , pp. 629-640
- Degano, P.¹ Priami, C.²

15
- 0029703268
- The reflexive CHAM and the join-calculus
- Paris, ACM Press, New York, January
- (1996) Conf. Record of the ACM Symp. on Principles of Programming Languages
- Fournet, C.¹ Gonthier, G.²

16
- 0000429455
- A symmetric integration of concurrent and functional programming
- (1989) Internat. J Parallel Programming , vol.18 , Issue.2 , pp. 121-160
- Giacalone, A.¹ Mishra, P.² Prasad, S.³

17
- 19044401072
- Bisimilarity as a theory of functional programming
- S. Brookes, M. Main, A. Merton and M. Misrove (Eds.), Mathematical Foundations of Programming Semantics, Elsevier, Amsterdam
- (1995) Electronic Notes in Theoretical Computer Science , vol.1
- Gordon, A.D.¹

18
- 0029256362
- Symbolic bisimulations
- (1995) Theoret. Comput. Sci. , vol.138 , pp. 353-389
- Hennessy, M.C.B.¹ Lin, H.²

19
- 0003730974
- Resource access control in systems of mobile agents (Extended Abstract)
- 3rd Internat. Workshop on High-Level Concurrent Languages (HLCL'98), Full version Inform. and Comput., to appear
- (1998) Electronic Notes in Theoretical Computer Science , vol.16 , Issue.3
- Hennessy, M.¹ Riely, J.²

20
- 0003843704
- Prentice-Hall, Englewood Cliffs, NJ
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

21
- 21844521998
- Comparing locality and causality based equivalences
- (1994) Acta Inform. , vol.31 , Issue.8 , pp. 697-718
- Kiehn, A.¹

22
- 0003731925
- Proc. Internat. Colloquium on Automata, Languages and Programming, Wien, Austria, Springer, Berlin, July
- (1992) Lecture Notes in Computer Science , vol.623
- Kuich, W.¹

23
- 0003579895
- Tech. Rep., Stanford University, Computer Science Laboratory, June
- (1994) STeP: The stanford temporal prover
- Manna, Z.¹

25
- 0003954103
- Prentice-Hall, Englewood Cliffs, NJ
- (1989) Communication and Concurrency
- Milner, R.¹

26
- 0002521052
- A calculus of mobile processes, Parts I and II
- (1992) Inform. and Comput. , vol.100 , pp. 1-77
- Milner, R.¹ Parrow, J.² Walker, D.³

27
- 33745109422
- Partial order localities
- W. Kuich (Ed.), Proc. Internat. Colloquium on Automata, Languages and Programming, Wien, Austria, Springer, Berlin, July
- (1992) Lecture Notes in Computer Science , vol.623 , pp. 617-628
- Montanari, U.¹ Yankelovich, D.²

28
- 0003806443
- Cambridge University Press, Cambridge
- (1986) Executing Temporal Logic Programs
- Moszkowski, B.¹

29
- 85000477480
- Observing located concurrency
- Proc. Symp. on Mathematical Foundations of Computer Science, Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.711
- Murphy, D.¹

30
- 0030258325
- Interval logics and their decision procedures: Part I: An interval logic
- (1996) Theoret. Comput. Sci. , vol.166 , pp. 1-47
- Ramakrishna, Y.S.¹ Melliar-Smith, P.M.² Moser, L.E.³ Dillon, L.K.⁴ Kutty, G.⁵

32
- 0000832186
- Modal and temporal logics
- S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Background: Computational Structures, Oxford University Press, Oxford
- (1992) Handbook of Logic in Computer Science , vol.2 , pp. 477-563
- Stirling, C.¹

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