Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Doornbos, Henk
and
Backhouse, Roland
1995.
Mathematics of Program Construction.
Vol. 947,
Issue. ,
p.
242.
Bijlsma, A.
and
Scholten, C.S.
1996.
Point-free substitution.
Science of Computer Programming,
Vol. 27,
Issue. 2,
p.
205.
Frappier, M.
Mili, A.
and
Desharnais, J.
1996.
A relational calculus for program construction by parts.
Science of Computer Programming,
Vol. 26,
Issue. 1-3,
p.
237.
Doornbos, Henk
Backhouse, Roland
and
van der Woude, Jaap
1997.
A calculational approach to mathematical induction.
Theoretical Computer Science,
Vol. 179,
Issue. 1-2,
p.
103.
Xu, Liangwei
Takeichi, Masato
and
Iwasaki, Hideya
1997.
Relational semantics for locally nondeterministic programs.
New Generation Computing,
Vol. 15,
Issue. 3,
p.
339.
Tchier, F.
and
Desharnais, J.
1999.
Applying a generalization of a theorem of Mills to generalized looping structures.
p.
31.
Desharnais, Jules
Möller, Bernhard
and
Tchier, Fairouz
2000.
Algebraic Methodology and Software Technology.
Vol. 1816,
Issue. ,
p.
355.
Desharnais, Jules
and
Möller, Bernhard
2001.
Characterizing determinacy in Kleene algebras.
Information Sciences,
Vol. 139,
Issue. 3-4,
p.
253.
Kahl, Wolfram
2001.
Parallel composition and decomposition of specifications.
Information Sciences,
Vol. 139,
Issue. 3-4,
p.
197.
Doornbos, Henk
and
Backhouse, Roland
2002.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction.
Vol. 2297,
Issue. ,
p.
204.
Tchier, Fairouz
2003.
Computer and Information Sciences - ISCIS 2003.
Vol. 2869,
Issue. ,
p.
171.
Kahl, Wolfram
2003.
Refinement and Development of Programs from Relational Specifications.
Electronic Notes in Theoretical Computer Science,
Vol. 44,
Issue. 3,
p.
51.
Scollo, Giuseppe
Franco, Giuditta
and
Manca, Vincenzo
2006.
Relations and Kleene Algebra in Computer Science.
Vol. 4136,
Issue. ,
p.
358.
Möller, Bernhard
and
Struth, Georg
2006.
Algebras of modal operators and partial correctness.
Theoretical Computer Science,
Vol. 351,
Issue. 2,
p.
221.
De Carufel, Jean-Lou
and
Desharnais, Jules
2006.
Relations and Kleene Algebra in Computer Science.
Vol. 4136,
Issue. ,
p.
120.
Guttmann, Walter
and
Möller, Bernhard
2006.
Unifying Theories of Programming.
Vol. 4010,
Issue. ,
p.
236.
Möller, Bernhard
and
Struth, Georg
2006.
Relational Methods in Computer Science.
Vol. 3929,
Issue. ,
p.
200.
Backhouse, Roland
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
21.
Desharnais, Jules
Möller, Bernhard
and
Tchier, Fairouz
2006.
Kleene under a modal demonic star.
The Journal of Logic and Algebraic Programming,
Vol. 66,
Issue. 2,
p.
127.
Kahl, Wolfram
2008.
Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types.
The Journal of Logic and Algebraic Programming,
Vol. 76,
Issue. 1,
p.
60.