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

메뉴 건너뛰기

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 1-19

Tiles, Rewriting Rules and CCS

(2) Gadducci, Fabio a Montanari, Ugo a

a UNIVERSITY OF PISA (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; ENCODING (SYMBOLS); MATHEMATICAL MODELS; STRUCTURED PROGRAMMING; SYNCHRONIZATION;

CONCURRENT THEORY; LOGICAL THEORY; STRUCTURED TRANSITION SYSTEMS; TRANSITION RELATIONS;

COMPUTER SCIENCE;

EID: 19144373167 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00030-1 Document Type: Article

Times cited : (16)

References (30)

1
- 84916554238
- L. Aceto, B. Bloom, F.W. Vaandrager, Turning SOS Rules into Equations, Information and Computation 111 (1), pp. 1–52.

2
- 84976746763
- Initial Algebra Semantics and Continuous Algebras
- (1977) Journal of the ACM , vol.24 , Issue.1 , pp. 68-95
- Goguen¹ Tatcher² Wagner³ Wright⁴

3
- 0021291978
- Process Algebra for Synchronous Communication
- (1984) Information and Computation , vol.60 , pp. 109-137
- Bergstra¹ Klop²

4
- 84916554237
- A. Corradini, F. Gadducci, CPO Models for Infinite Term Rewriting, in Proc. AMAST'95, LNCS 936, 1995, pp. 368–384.

5
- 84916554236
- A. Corradini, F. Gadducci, U. Montanari, Relating Two Categorical Models of Concurrency, in Proc. RTA'95, LNCS 914, 1995, pp. 225–240.

6
- 0026909667
- An Algebraic Semantics for Structured Transition Systems and its Application to Logic Programs
- (1992) Theoretical Computer Science , vol.103 , pp. 51-106
- Corradini¹ Montanari²

7
- 84916554235
- A. Corradini, Term Rewriting, in Parallel, submitted.

8
- 0003847595
- John Wiley & Sons
- (1993) Term Graph Rewriting, Theory and Practice
- van Eekelen¹ Plasmeijer² Sleep³

9
- 84916554234
- G. Ferrari, U. Montanari, Towards the Unification of Models for Concurrency, in Proc. CAAP'90, LNCS 431, 1990, pp. 162-176.

10
- 84916554233
- F. Gadducci, On the Algebraic Approach to Concurrent Term Rewriting, PhD Thesis, Università di Pisa, Pisa. Technical Report TD-96-02, Department of Computer Science, University of Pisa, 1996.

11
- 84916554232
- F. Gadducci, U. Montanari, Enriched Categories as Models of Computations, in Proc. Fifth Italian Conference on Theoretical Computer Science, ICTCS'95, World Scientific, 1996, pp. 1–24.

12
- 84916554231
- F. Gadducci, U. Montanari, The Tile Model, Technical Report TR-96-27, Department of Computer Science, University of Pisa, 1996.

13
- 0021974161
- Algebraic Laws for Nondeterminism and Concurrency
- (1985) Journal of the ACM , vol.32 , Issue.1 , pp. 137-161
- Hennessy¹ Milner²

14
- 0003843704
- Prentice Hall
- (1985) Communicating Sequential Processes
- Hoare¹

15
- 0001818904
- Semantics of Weakening and Contraction
- (1994) Annals of Pure and Applied Logic , vol.69 , pp. 73-106
- Jacobs¹

16
- 0016972709
- Formal Verifications of Parallel Programs
- (1976) Communications of the ACM , vol.7 , pp. 371-384
- Keller¹

17
- 0001834942
- Term Rewriting Systems
- S. Abramsky, D. Gabbay, T. Maibaum, Oxford University Press
- (1992) Handbook of Logic in Computer Science , vol.1 , pp. 1-116
- Klop¹

18
- 77956978426
- Doctrines in Categorical Logic
- John Bairwise, North Holland
- (1977) Handbook of Mathematical Logic , pp. 283-313
- Kock¹ Reyes²

19
- 0001105583
- Review of the Elements of 2-categories
- (1974) Lecture Notes in Mathematics , vol.420 , pp. 75-103
- Kelly¹ Street²

20
- 84958966521
- Equational Reasoning with 2-dimensional Diagrams in Term Rewriting
- (1995) French Spring School of Theoretical Computer Science, Font-Romeu, May 1993, LNCS , vol.909 , pp. 170-195
- Lafont¹

21
- 0000504637
- Functorial Semantics of Algebraic Theories
- (1963) Proceedings of the National Academy of Sciences , vol.50 , pp. 869-872
- Lawvere¹

22
- 84916554230
- K.G. Larsen, L. Xinxin, Compositionality Through an Operational Semantics of Contexts, in Proc. ICALP'90, LNCS 443, 1990, pp. 526-539.

23
- 0027113376
- Conditional Rewriting Logic as a Unified Model of Concurrency
- (1992) Theoretical Computer Science , vol.96 , pp. 73-155
- Meseguer¹

24
- 0003954103
- Prentice-Hall
- (1989) Communication and Concurrency
- Milner¹

25
- 84916554229
- F. Moller, The Non-Existence of Finite Axiomatizations for CCS Congruences, in Proc. LICS'90, IEEE Press, 1990, pp. 142-153

26
- 84916554228
- N. Martí-Oliet, J. Meseguer, Rewriting Logic as a Logical and Semantic Framework, SRI Technical Report, CSL-93-05, 1993.

27
- 84916554227
- D. Park, Concurrency and Automata on Infinite Sequences, in Proc. Fifth G-I Conference, LNCS 104, 1981, pp. 167–183.

28
- 84916554226
- G. Plotkin, A Structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.

29
- 84916554225
- A.J. Power, An Abstract Formulation for Rewrite Systems, in Proc. CTCS'89, LNCS 389, 1989, pp. 300-312.

30
- 0004232902
- Springer-Verlag
- (1985) Petri Nets
- Reisig¹

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