Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Khalil, Wafaa
and
Walters, R. F. C.
1993.
An imperative language based on distributive categories II.
RAIRO - Theoretical Informatics and Applications,
Vol. 27,
Issue. 6,
p.
503.
Taylor, Paul
1993.
Theory and Formal Methods 1993.
p.
302.
Islam, Amitavo
and
Phoa, Wesley
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
618.
Johnson, Michael
and
Dampney, C. N. G.
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
45.
Sabadini, N.
Vigna, S.
and
Walters, R. F. C.
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
325.
Rosenthal, Kimmo I.
1994.
A categorical look at tree automata and context-free languages.
Mathematical Structures in Computer Science,
Vol. 4,
Issue. 3,
p.
287.
Carboni, Aurelio
and
Johnstone, Peter
1995.
Connected limits, familial representability and Artin glueing.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 4,
p.
441.
Rosenthal, Kimmo I.
1995.
Quantaloids, enriched categories and automata theory.
Applied Categorical Structures,
Vol. 3,
Issue. 3,
p.
279.
Kaschek, Roland
1996.
Conceptual Modeling — ER '96.
Vol. 1157,
Issue. ,
p.
406.
Katis, Piergiulio
Sabadini, N.
and
Walters, R. F. C.
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
322.
Katis, Piergiulio
Sabadini, N.
and
Walters, R. F. C.
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
307.
Katis, P.
Sabadini, N.
and
Walters, R. F. C.
2000.
Coordination Languages and Models.
Vol. 1906,
Issue. ,
p.
267.
Trichina, Elena
2000.
Perspectives of System Informatics.
Vol. 1755,
Issue. ,
p.
257.
Johnson, Michael
and
Rosebrugh, Robert
2001.
FME 2001: Formal Methods for Increasing Software Productivity.
Vol. 2021,
Issue. ,
p.
534.
Katis, P.
Sabadini, Nicoletta
and
Walters, Robert F.C.
2002.
Feedback, trace and fixed-point semantics.
RAIRO - Theoretical Informatics and Applications,
Vol. 36,
Issue. 2,
p.
181.
Gibbons, Jeremy
2002.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.
Vol. 2297,
Issue. ,
p.
151.
Bush, M.R.
Leeming, M.
and
Walters, R.F.C.
2003.
Computing left Kan extensions.
Journal of Symbolic Computation,
Vol. 35,
Issue. 2,
p.
107.
Katsumata, Shin-ya
2008.
Computer Science Logic.
Vol. 5213,
Issue. ,
p.
278.
Heindel, Tobias
and
Sobociński, Paweł
2009.
Algebra and Coalgebra in Computer Science.
Vol. 5728,
Issue. ,
p.
335.
Sobocinski, Pawel
and
Heindel, Tobias
2011.
Being Van Kampen is a universal property.
Logical Methods in Computer Science,
Vol. Volume 7, Issue 1,
Issue. ,