Relating two categorical models of term rewriting

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 914, Issue , 1995, Pages 225-240

  Corradini, A ^a   Gadducci, F ^a   Montanari, U ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Categorical models; Concurrency; Rewriting logic; Term rewriting

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; SEMANTICS;

CATEGORICAL MODEL; CONCURRENCY; CONCURRENT SEMANTICS; DEGREE OF PARALLELISM; DISTRIBUTED SYSTEMS; REWRITING LOGIC; TERM REWRITING; TERM REWRITING SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84955622461     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-59200-8_59     Document Type: Conference Paper

References (23)

1. J.A. Goguen, J.W. Tatcher, E.G. Wagner, J.R. Wright, Initial Algebra Semantics and Continuous Algebras, Journal of ACM 24 (1), 1977, pp. 68-95
2. G. Boudol, Computational Semantics of Term Rewriting Systems, in Algebraic Methods in Semantics, eds. M. Nivat and J. Reynolds, Cambridge University Press, 1985.
3. A. Corradini, F. Gadducci, CPO Models for Infinite Term Rewriting, draft.
4. A. Corradini, Term Rewriting, in Parallel, draft.
5. N. Dershowitz, J.P. Jouannaud, Rewrite Systems, Handbook of Theoretical Computer Science B, ed. J. van Leeuwen, North Holland, 1990, pp. 243-320.
6. B. Jacobs, Semantics of Weakening and Contraction, draft.
7. G.M. Kelly, Basic Concepts of Enriched Category Theory, London Mathematical Society, LN Series 64, 1982.
8. G.M. Kelly, R.H. Street, Review of the Elements of 2-categories, Lecture Notes in Mathematics 420, 1974, pp. 75-103.
9. C Laneve, Distributive Evaluations of X-calculus, Fundamenta Informaticae 20 (4), 1994, pp. 333-352.
10. F. W. Lawvere, Functorial Semantics of Algebraic Theories, Proc. National Academy of Science 50, 1963, pp. 869-872.
11. J.J. Levy, Optimal Reductions in the X-calculus, in To H.B. Curry, Essays in Combinatory Logic, Lambda Calculus and Formalism, eds. J.P. Seldin and J.R. Hindley, Academic Press, 1980, pp. 159-191.
12. Laneve, U. Montanari, Axiomattzing Permutation Equivalence in the X-calculus, in Proc. 3rd ALP, LNCS 632, 1992, pp. 350-363.
13. P. Lincoln, J. Meseguer, L. Ricciulli, The Rewrite Rule Machine Node Architecture and its Performance, in Proc. CONPAR'94, LNCS 854, 1994, pp. 509-520.
14. J. Meseguer, Functorial Semantics of Rewrite Systems, appendix of Rewriting as a Unified Model of Concurrency, SRI Technical Report, CSL-93-02R, 1990.
15. J. Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency, in Selected Papers of 2th Workshop on Concurrency and Compositionality, Theoretical Computer Science 96, 1992, pp. 73-155.
16. S. MacLane, Categories for the Working Mathematician, Springer, 1971.
17. N. Marti-Oliet, J. Meseguer, Rewriting Logic as a Logical and Semantic Framework, SRI Technical Report, CSL-93-05, 1993.
18. A.J. Power, An Abstract Formulation for Rewrite Systems, in Proc. CTCS'89, LNCS 389, 1989, pp. 300-312.
19. E. Rydeheard, J.G. Stell, Foundations of Equational Deduction, in Proc. CTCS'87, LNCS 283, 1987, pp. 114-339.
20. J. G. Stell, Categorical Aspects of Unification and Rewriting, Ph.D. Thesis, Faculty of Science, University of Manchester, 1992.
21. J. G. Stell, Modelling Term Rewriting System by Sesqui-categories, Technical Report TR94-02, Keele University, 1994.
22. R.H. Street, Categorical Structures, in Handbook of Algebra, eds. M. Hazewinkel et al., Elsevier, preprint 1992.
23. G. Winskel, An Introduction to Event Structures, Lecture Notes for the REX Summer School, LNCS 354, 1989, pp. 285-363.