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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 285, Issue 2, 2002, Pages 441-485

Actor theories in rewriting logic

(1) Talcott, Carolyn a

a Stanford University (United States)

Author keywords

Actor systems; Compositionality; Concurrency; Interaction semantics; Open distributed systems; Rewriting logic

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; CONFORMAL MAPPING; DISTRIBUTED COMPUTER SYSTEMS; SEMANTICS;

INTERACTION SEMANTICS; OPEN DISTRIBUTED SYSTEMS;

FORMAL LOGIC;

EID: 0037190140 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00365-6 Document Type: Article

Times cited : (13)

References (31)

1
- 0003528391
- MIT Press Cambridge, MA
- (1986) Actors: A Model of Concurrent Computation in Distributed Systems
- Agha, G.¹

2
- 84976763727
- Concurrent object-oriented programming
- (1990) Comm. ACM , vol.33 , Issue.9 , pp. 125-141
- Agha, G.¹

3
- 0031530396
- A foundation for actor computation
- (1997) J. Funct. Programming , vol.7 , pp. 1-72
- Agha, G.¹ Mason, I.A.² Smith, S.F.³ Talcott, C.L.⁴

4
- 0017728552
- IFIP Congress, IFIP, August
- (1977) Laws for communicating parallel processes , pp. 987-992
- Baker, H.G.¹ Hewitt, C.²

5
- 0003895448
- (1999) Maude: Specification and programming in rewriting logic
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Marti-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.⁷

6
- 19144364639
- Principles of Maude, rewriting logic workshop'96
- Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Clavel, M.¹ Eker, S.² Lincoln, P.³ Meseguer, J.⁴

7
- 0004292380
- Ph.D. Thesis, MIT Artificial Intelligence Laboratory AI-TR-633, MIT
- (1981) Foundations of actor semantics
- Clinger, W.D.¹

8
- 0009927149
- Towards a proof-theoretic foundation for actor specification and verification
- P.-Y. Schobbens, A. Cesta (Eds.), (ModelAge'97)
- (1997) 4th Workshop on Formal Models of Agents , pp. 115-128
- Duarte, C.H.C.¹

9
- 4243694360
- Ph.D. Thesis, Imperial College, University of London
- (1999) Proof-theoretic foundations for the design of extensible software systems
- Duarte, C.H.C.¹

10
- 84947265907
- Towards a verification logic for rewriting logic
- D. Bert, C. Choppy, P. Mosses(Eds.), Springer Berlin, WADT'99, Chateau de Bonas, France, September 1999, Selected Papers, Lecture Notes in Computer Science
- (2000) Recent Trends in Algebraic Development Techniques , vol.1827 , pp. 438-458
- Fiadeiro, J.¹ Maibaum, T.² Mart-Oliet, N.³ Meseguer, J.⁴ Pita, I.⁵

11
- 0003726024
- Ph.D. Thesis, Università di Pisa, Pisa, Italy, Available as Tech. Report TD-96-02, Department of Computer Science, University of Pisa
- (1996) On the algebraic approach to concurrent term rewriting
- Gadducci, F.¹

12
- 19144373167
- Tiles, rewriting rules and CCS
- J. Meseguer (Ed.), Proc. First Internat. Workshop on Rewriting Logic and its Applications, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Gadducci, F.¹ Montanari, U.²

13
- 0003364293
- The tile model
- G. Plotkin, C. Stirling, M. Tofte (Eds.), MIT Press, Cambridge, MA, Paper available from URL
- (1996) Proof, Language and Interaction: Essays in Honour of Robin Milner
- Gadducci, F.¹ Montanari, U.²

14
- 0017504498
- Viewing control structures as patterns of passing messages
- (1977) J. Artif. Intell. , vol.8 , Issue.3 , pp. 323-364
- Hewitt, C.¹

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

16
- 0009898390
- Actor languages: Their syntax, semantics, translation, and equivalence
- (1999) Theoret. Comput. Sci. , vol.220 , pp. 409-467
- Mason, I.A.¹ Talcott, C.L.²

17
- 0003616116
- Rewriting as a unified model of concurrency
- SRI International, Computer Science Laboratory, February, revised June 1990
- (1990) Tech. Report SRI-CSL-90-02
- Meseguer, J.¹

18
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoret. Comput. Sci. , vol.96 , Issue.1 , pp. 73-155
- Meseguer, J.¹

19
- 0002893365
- A logical theory of concurrent objects and its realization in the Maude language
- G. Agha, P. Wegner, A. Yonezawa (Eds.), The MIT Press, Cambridge, MA
- (1993) Research Directions in Object-Based Concurrency
- Meseguer, J.¹

20
- 84955586238
- Rewriting logic as a semantic framework for concurrency: A progress report
- U. Montanari, V. Sassone(Eds.), Springer Berlin
- (1996) Proc. CONCUR'96, Lecture Notes in Computer Science , vol.1119 , pp. 331-372
- Meseguer, J.¹

21
- 84957873927
- Membership algebra as a semantic framework for equational specification
- F. Parisi-Presicce(Ed.), 12th Internat. Workshop on Abstract Data Types (WADT'97), Springer Berlin
- (1998) Lecture Notes in Computer Science , vol.1376 , pp. 18-61
- Meseguer, J.¹

22
- 84874247885
- Mapping OMRS to rewriting logic
- C. Kirchner, H. Kirchner (Eds.), 2nd Internat. Workshop on Rewriting Logic and its Applications, WRLA'98, Eslevier, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.15
- Meseguer, J.¹ Talcott, C.L.²

23
- 22644450258
- A partial order event model for concurrent objects
- (1999) Proc. CONCUR'99: Concurency Theory, Lecture Notes in Computer Science , vol.1664 , pp. 415-430
- Meseguer, J.¹ Talcott, C.L.²

24
- 0009927150
- Can actors and π-agents live together?
- Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam
- (1997) Higher Order Operational Techniques in Semantics II
- Montanari, U.¹ Talcott, C.L.²

25
- 0003988659
- Prentice-Hall Englewood Cliffs, NJ
- (1998) Theory and Practice of Concurrency
- Roscoe, W.¹

26
- 0009948707
- Specification diagrams for actor systems
- HOOTS II, Electronic Notes in Theoretical Computer Science, Eslevier Amsterdam
- (1998) Proc. Higher-Order Operational Techniques in Semantics , vol.10
- Smith, S.F.¹

27
- 0009956095
- Modular reasoning for actor specification diagrams
- P. Ciancariani, A. Fantechi, R. Gorrieri(Eds.), Kluwer Dordrecht
- (1999) Formal Methods for Open Object-based Distributed Systems , pp. 313-330
- Smith, S.F.¹ Talcott, C.L.²

28
- 19144363959
- An actor rewriting theory
- J. Meseguer (Ed.), Proc. 1st Internat. Workshop on Rewriting Logic and its Applications, Elsevier, Amsterdam
- (1996) Electronic Notes in Theoretical Computer Science , vol.4 , pp. 360-383
- Talcott, C.L.¹

29
- 19144367171
- Interaction semantics for components of distributed systems
- E. Najm, J.-B. Stefani(Eds.), Chapman & Hall London, FMOODS'96
- (1996) 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems
- Talcott, C.L.¹

30
- 0032300923
- Composable semantic models for actor theories
- (1998) Higher-Order Symbolic Comput. , vol.11 , Issue.3 , pp. 281-343
- Talcott, C.L.¹

31
- 84974718020
- Towards a toolkit for actor system specification
- T. Rus(Ed.), Springer Berlin
- (2000) Tenth Internat. Conf. on Algebraic Methodology and Software Technology, AMAST'00, Lecture Notes in Computer Science , vol.1816 , pp. 391-406
- Talcott, C.L.¹

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