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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 275, Issue 1-2, 2002, Pages 259-282

A causal semantics for CCS via rewriting logic

(3) Degano, Pierpaolo a Gadducci, Fabio a Priami, Corrado b

a UNIVERSITY OF PISA (Italy)

b UNIVERSITY OF VERONA (Italy)

Author keywords

Causal semantics; Process algebra; Rewriting logic

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONCURRENCY CONTROL; SEMANTICS; TRANSLATION (LANGUAGES);

CAUSAL SEMANTICS;

COMPUTER SCIENCE;

EID: 0037187385 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00165-7 Document Type: Article

Times cited : (16)

References (28)

1
- 0021291978
- Process algebra for synchronous communication
- (1984) Inform. Comput. , vol.60 , pp. 109-137
- Bergstra, J.A.¹ Klop, J.W.²

2
- 0002907936
- Computational semantics of term rewriting systems
- M. Nivat, J. Reynolds (Eds.), Cambridge University Press, Cambridge
- (1985) Algebraic Methods in Semantics , pp. 170-235
- Boudol, G.¹

3
- 0001063481
- A non-interleaving semantics from CCS based on proved transitions
- (1988) Fund. Inform. , vol.11
- Boudol, G.¹ Castellani, I.²

4
- 84874253515
- CCS semantics via proved transition systems and rewriting logic
- C. Kirchner, H. Kirchner (Eds.), Elsevier, Amsterdam
- (1999) Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science , vol.15
- Carabetta, G.¹ Degano, P.² Gadducci, F.³

5
- 84957794204
- CPO models for infinite term rewriting
- V.S. Alagar, M. Nivat (Eds.), Algebraic Methodology and Software Technology, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.936 , pp. 368-384
- Corradini, A.¹ Gadducci, F.²

6
- 84947945693
- Rational term rewriting
- M. Nivat (Ed.), Foundations of Software Science and Computation Structures, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1378 , pp. 156-171
- Corradini, A.¹ Gadducci, F.²

7
- 84955622461
- Relating two categorical models of term rewriting
- J. Hsiang (Ed.), Rewriting Techniques and Applications, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.914 , pp. 225-240
- Corradini, A.¹ Gadducci, F.² Montanari, U.³

8
- 85022860624
- Causal trees
- G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (Eds.), Automata, Languages and Programming, Springer, Berlin
- (1989) Lecture Notes in Computer Science , vol.372 , pp. 234-248
- Darondeau, Ph.¹ Degano, P.²

9
- 0025503372
- A partial ordering semantics for CCS
- (1990) Theoret. Comput. Sci. , vol.75 , pp. 223-262
- Degano, P.¹ De Nicola, R.² Montanari, U.³

10
- 4243356944
- submitted for publication
- Causality and replication in concurrent processes
- Degano, P.¹ Gadducci, F.² Priami, C.³

11
- 0030523615
- Axiomatizing the algebra of net computations and processes
- (1996) Acta Inform. , vol.33 , pp. 641-667
- Degano, P.¹ Meseguer, J.² Montanari, U.³

12
- 85029819119
- Proved trees
- W. Kuich (ed.), Automata, Languages and Programming, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.623 , pp. 629-640
- Degano, P.¹ Priami, C.²

13
- 0001393119
- Enhanced operational semantics
- (1996) ACM Comput. Surveys , vol.28 , pp. 352-354
- Degano, P.¹ Priami, C.²

14
- 0000631298
- Non interleaving semantics for mobile processes
- (1999) Theoret. Comput. Sci. , vol.216 , pp. 237-270
- Degano, P.¹ Priami, C.²

15
- 0003726024
- Ph.D. Thesis, Department of Computer Science, University of Pisa
- (1996) On the algebraic approach to concurrent term rewriting
- Gadducci, F.¹

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

17
- 0027116146
- Order sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- (1992) Theoret. Comput. Sci. , vol.105 , pp. 217-273
- Goguen, J.¹ Meseguer, J.²

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

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

20
- 85028854372
- Axiomatizing permutation equivalence in the λ-calculus
- H. Kirchner, G. Levi (Eds.), Algebraic and Logic Programming, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.632 , pp. 350-363
- Laneve, C.¹ Montanari, U.²

21
- 46249123238
- Rewriting logic as a logical and semantic framework
- J. Meseguer (Ed.), Elsevier, Amsterdam
- (1997) Rewriting Logic and Applications, Electronic Notes in Theoretical Computer Science , vol.4
- Martí-Oliet, N.¹ Meseguer, J.²

22
- 0004327725
- Kluwer Academic Publishers, Dordrecht
- Handbook of Philosophical Logic, 2nd Edition , vol.6
- Gabbay, D.¹

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

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

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

26
- 0000511698
- The polyadic π-calculus: A tutorial
- F.L. Bauer, W. Brauer, H. Schwichtenberg (Ed.), Logic and Algebra of Specification, Springer, Berlin
- (1993) Nato ASI Series F , vol.94
- Milner, R.¹

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

28
- 0003931061
- A structural approach to operational semantics
- Computer Science Department, Aarhus University
- (1981) Tech. Report DAIMI FN-19
- Plotkin, G.¹

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