A uniform model theory for the specification of data and process types

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

Volumn 1827, Issue , 2000, Pages 348-365

  Reichel, Horst ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA;

ALGEBRAIC THEORIES; AXIOMATIC SPECIFICATIONS; CATEGORICAL MODEL; KAN EXTENSION; UNIFORM MODEL;

SPECIFICATIONS;

EID: 35248814170     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_20     Document Type: Conference Paper

References (16)

1. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brücker, editors. Algebraic Foundations of Systems Specification. IFIP state-of-the-art reports. Springer, 1999.
2. M. Barr and C. Wells. Category Theory for Computing Science (second edition). International series in computer science. Prentice Hall, 1996.
3. J. R. B. Cockett and T. Fukushima. About charity. Technical Report 92/480/18, Department of Computer Science, University of Calgary, 1992.
4. J. R. B. Cockett and D. Spencer. Strong categorical datatypes i. In R. A. G. Seely, editor, Canadian Mathematical Society Proceedings. Montreal, 1992.
5. J. R. B. Cockett and D. Spencer. Strong categorical datatypes ii: A term logic for categorical programming. Theoretical Computer Science, 139:69–113, 1995.
6. Peter Freyd. Algebraically complete categories. In A. Carboni et al, editor, 1990 Como Category Theory Conference, volume 1488 of Lecture Notes in Math., pages 95–104. Springer, Berlin, 1990.
7. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95–146, 1992.
8. Joseph Goguen and Grigore Rosu. Hiding more of hidden algebra. In J. M. Wing, J. Woodcock, and J. Davies, editors, FM’99 - Formal Methods, Volume 2, volume 1709 of Lecture Notes in Math., pages 1704–1719. Springer, Berlin, 1999.
9. Bart Jacobs and Jan Rutten. A tutorial on (co)algebras and (co)induction. Bulletin of the EATCS, (62):222–259, June 1997.
10. Christian Lair. Trames et semantiques categoriques des systems de trames. Diagrammes, 19, 1987.
11. F. W. Lawvere. Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci. U. S. A., 50:869–873, 1963.
12. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer–Verlag, 1980.
13. Saunders Mac Lane. Categories for the Working Mathematician. Springer Verlag, 1971.
14. Jose Meseguer and Ugo Montanari. Petri nets are monoids. Information and Computation, 88:105–155, 1990.
15. CoFI Task Group on Langugage Design. Casl, the common algebraic specification language (summary). Technical report, CoFI: The Common Framework Initiative, 1998.
16. Horst Reichel. Nested sketches. Technical Report ECS-LFCS-98-401, Edinburgh University, Laboratory for Foundations of Computer Science, December 1998.