Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Silva, Alexandra
and
Rutten, Jan
2007.
Logic, Language, Information and Computation.
Vol. 4576,
Issue. ,
p.
322.
Lucanu, Dorel
2007.
Proving Behavioral Commutativity with CIRC.
p.
85.
Hinze, Ralf
2008.
Functional pearl.
p.
189.
Liu, Xiaojun
and
Lee, Edward A.
2008.
CPO semantics of timed interactive actor networks.
Theoretical Computer Science,
Vol. 409,
Issue. 1,
p.
110.
Kupke, Clemens
and
Rutten, Jan
2008.
Observational Coalgebras and Complete Sets of Co-operations.
Electronic Notes in Theoretical Computer Science,
Vol. 203,
Issue. 5,
p.
153.
Zhou, Ye
and
Lee, Edward A.
2008.
Causality interfaces for actor networks.
ACM Transactions on Embedded Computing Systems,
Vol. 7,
Issue. 3,
p.
1.
Hinze, Ralf
2008.
Functional pearl.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 9,
p.
189.
Goriac, Eugen-Ioan
Caltais, Georgiana
and
Lucanu, Dorel
2009.
Simplification and Generalization in CIRC.
p.
85.
Zantema, Hans
2009.
Rewriting Techniques and Applications.
Vol. 5595,
Issue. ,
p.
164.
Lucanu, Dorel
and
Roşu, Grigore
2009.
Formal Methods and Software Engineering.
Vol. 5885,
Issue. ,
p.
639.
Niqui, Milad
2009.
Types for Proofs and Programs.
Vol. 5497,
Issue. ,
p.
272.
Arthan, Rob
Martin, Ursula
Mathiesen, Erik A.
and
Oliva, Paulo
2009.
A general framework for sound and complete Floyd-Hoare logics.
ACM Transactions on Computational Logic,
Vol. 11,
Issue. 1,
p.
1.
Hinze, Ralf
2010.
Central European Functional Programming School.
Vol. 6299,
Issue. ,
p.
42.
Zantema, Hans H
2010.
Well-definedness of Streams by Transformation and Termination.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 3,
Issue. ,
Milius, Stefan
2010.
A Sound and Complete Calculus for Finite Stream Circuits.
p.
421.
Capretta, Venanzio
2010.
Bisimulations Generated from Corecursive Equations.
Electronic Notes in Theoretical Computer Science,
Vol. 265,
Issue. ,
p.
245.
Kupke, Clemens
and
Rutten, Jan
2010.
Complete sets of cooperations.
Information and Computation,
Vol. 208,
Issue. 12,
p.
1398.
Goriac, Eugen-Ioan
Lucanu, Dorel
and
Roşu, Grigore
2010.
Formal Methods and Software Engineering.
Vol. 6447,
Issue. ,
p.
220.
HINZE, RALF
2010.
Concrete stream calculus: An extended study.
Journal of Functional Programming,
Vol. 20,
Issue. 5-6,
p.
463.
Niqui, Milad
and
Rutten, Jan
2010.
Mathematics of Program Construction.
Vol. 6120,
Issue. ,
p.
310.