CiteSeer.IST Home
Similar documents based on text:
A Categorical Manifesto - Goguen (1991)
(Correct)
Similar documents based on text:
All related documents
0.2
:
Memories of ADJ - Joseph Goguen Programming
(Correct)
0.0
:
Algebraic Graph-Oriented = Category Theory Based. Manifesto of.. - Diskin (1994)
(Correct)
0.0
:
On the Emergence of Properties in Component-Based Systems - Fiadeiro (1996)
(Correct)
0.0
:
Colimit Library for Graph Transformations and Algebraic.. - Dietmar Wolz (1998)
(Correct)
0.0
:
Colimits in the category DCPO - Fiech
(Correct)
0.0
:
Temporal Theories as Modularisation Units for Concurrent.. - Fiadeiro, Maibaum (1992)
(Correct)
0.0
:
Institution Morphisms - Goguen, Rosu (2001)
(Correct)
0.0
:
Process Semantics of Temporal Logic Specification - Fiadeiro, Costa, Sernadas.. (1991)
(Correct)
CiteSeer.IST - Copyright
Penn State
and
NEC