Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Goguen, Joseph A.
1992.
Sheaf semantics for concurrent interacting objects.
Mathematical Structures in Computer Science,
Vol. 2,
Issue. 2,
p.
159.
Corradini, Andrea
and
Montanari, Ugo
1992.
An algebraic semantics for structured transition systems and its application to logic programs.
Theoretical Computer Science,
Vol. 103,
Issue. 1,
p.
51.
Goguen, Joseph A.
and
Diaconescu, Razvan
1994.
Recent Trends in Data Type Specification.
Vol. 785,
Issue. ,
p.
1.
Porter, Timothy
1994.
Categorical shape theory as a formal language for pattern recognition?.
Annals of Mathematics and Artificial Intelligence,
Vol. 10,
Issue. 1-2,
p.
25.
Rattray, Charles
1994.
Computer Aided Systems Theory — EUROCAST '93.
Vol. 763,
Issue. ,
p.
72.
Fiadeiro, José Luiz
and
Maibaum, Tom
1995.
Interconnecting formalisms.
p.
72.
Marquis, Jean-Pierre
1995.
Category theory and the foundations of mathematics: Philosophical excavations.
Synthese,
Vol. 103,
Issue. 3,
p.
421.
Fiadeiro, José Luiz
and
Maibaum, Tom
1995.
Interconnecting formalisms.
ACM SIGSOFT Software Engineering Notes,
Vol. 20,
Issue. 4,
p.
72.
de Guzmán, I. P.
Ojeda, M.
and
Valverde, A.
1995.
A formal identification between tuples and lists with an application to list-arithmetic categories.
Acta Informatica,
Vol. 32,
Issue. 1,
p.
61.
Ehrig, H.
Große-Rhode, M.
and
Wolter, U.
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
17.
Jacobs, Bart
1996.
ECOOP ’96 — Object-Oriented Programming.
Vol. 1098,
Issue. ,
p.
210.
Heckel, Reiko
Corradini, Andrea
Ehrig, Hartmut
and
Löwe, Michael
1996.
Horizontal and vertical structuring of typed graph transformation systems.
Mathematical Structures in Computer Science,
Vol. 6,
Issue. 6,
p.
613.
Fiadeiro, J.L.
and
Maibaum, T.
1996.
A mathematical toolbox for the software architect.
p.
46.
Hruŝka, Tomáŝ
and
Kolenĉík, Petr
1997.
Conceptual Modeling — ER '97.
Vol. 1331,
Issue. ,
p.
229.
Wolter, Uwe
and
Martini, Alfio
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
159.
Mossakowski, Till
Tarlecki, Andrzej
and
Pawłowski, Wieslaw
1997.
Category Theory and Computer Science.
Vol. 1290,
Issue. ,
p.
177.
Abbott, M. B.
1997.
Range of Tidal Flow Modeling.
Journal of Hydraulic Engineering,
Vol. 123,
Issue. 4,
p.
257.
Fiadeiro, JoséLuiz
and
Maibaum, Tom
1997.
Categorical semantics of parallel program design.
Science of Computer Programming,
Vol. 28,
Issue. 2-3,
p.
111.
Hruška, Tomáš
and
Kolenčík, Petr
1997.
Deductive and Object-Oriented Databases.
Vol. 1341,
Issue. ,
p.
302.
Mossakowski, Till
Tarlecki, Andrzej
and
Pawłowski, Wiesław
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
349.