Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Taylor, Paul
1993.
Theory and Formal Methods 1993.
p.
302.
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.
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.
Sabadini, N.
Vigna, S.
and
Walters, R. F. C.
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
325.
Johnson, Michael
and
Dampney, C. N. G.
1994.
Algebraic Methodology and Software Technology (AMAST’93).
p.
45.
Islam, Amitavo
and
Phoa, Wesley
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
618.
Rosenthal, Kimmo I.
1995.
Quantaloids, enriched categories and automata theory.
Applied Categorical Structures,
Vol. 3,
Issue. 3,
p.
279.
Carboni, Aurelio
and
Johnstone, Peter
1995.
Connected limits, familial representability and Artin glueing.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 4,
p.
441.
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.
307.
Katis, Piergiulio
Sabadini, N.
and
Walters, R. F. C.
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
322.
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.
Jacobs, Bart
and
Rutten, Jan
2011.
Advanced Topics in Bisimulation and Coinduction.
p.
38.