CiteSeer.IST Home   Related articles for: J.A. Goguen. A categorical manifesto. Math. Struct. Comp. Sci., 1(1):49--67, 1991.   Doc

Related documents from co-citation:   All related documents
5:   Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (context) - Ehrig, Mahr - 1985
4:   Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
4:   Categories for the Working Mathematician (context) - Lane - 1971
4:   a Classification. To appear in Theoretical Computer Science. An extended abstrac.. (context) - SASSONE, NIELSEN et al. - 1993
4:   Introduction to the algebraic theory of graph grammars (context) - Ehrig
4:   Institutions: Abstract model theory for specification and programming (context) - Burstall, Goguen - 1992
3:   Realization is universal (context) - Goguen - 1973
3:   Categorical semantics of parallel program design - Fiadeiro, Maibaum - 1997
3:   A categorical approach to general systems theory (context) - Goguen, Ginali - 1978
3:   Prentice Hall International Series in Computer Science (context) - Barr, Wells - 1990
3:   Distributed cooperation with action systems (context) - Back, Kurki-Suonio - 1988
3:   The Formal Semantics of Programming Languages (context) - Winskel - 1993
3:   Building specifications in an arbitrary institution (context) - Sannella - 1984
3:   Superimposition for interacting processes (context) - Francez, Forman
3:   Models for Concurrency - Nielsen, Winskel - 1994
3:   Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
3:   Temporal theories as modularisation units for concurrent system specification - Fiadeiro, Maibaum - 1992
3:   Programming Language (context) - Stroustrup, The - 1986
2:   Composing Specifications - Abadi, Lamport - 1993
2:   Fundamenta Informaticae (context) - Corradini, Montanari et al. - 1996

CiteSeer.IST - Copyright Penn State and NEC