Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Lucanu, Dorel
2007.
Proving Behavioral Commutativity with CIRC.
p.
85.
Silva, Alexandra
and
Rutten, Jan
2007.
Logic, Language, Information and Computation.
Vol. 4576,
Issue. ,
p.
322.
Liu, Xiaojun
and
Lee, Edward A.
2008.
CPO semantics of timed interactive actor networks.
Theoretical Computer Science,
Vol. 409,
Issue. 1,
p.
110.
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.
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.
Hinze, Ralf
2008.
Functional pearl.
p.
189.
Zantema, Hans
2009.
Rewriting Techniques and Applications.
Vol. 5595,
Issue. ,
p.
164.
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.
Niqui, Milad
2009.
Types for Proofs and Programs.
Vol. 5497,
Issue. ,
p.
272.
Lucanu, Dorel
and
Roşu, Grigore
2009.
Formal Methods and Software Engineering.
Vol. 5885,
Issue. ,
p.
639.
Goriac, Eugen-Ioan
Caltais, Georgiana
and
Lucanu, Dorel
2009.
Simplification and Generalization in CIRC.
p.
85.
Milius, Stefan
2010.
A Sound and Complete Calculus for Finite Stream Circuits.
p.
421.
Silva, Alexandra
and
Rutten, Jan
2010.
A coinductive calculus of binary trees.
Information and Computation,
Vol. 208,
Issue. 5,
p.
578.
Arbab, Farhad
2010.
Complex Systems Design & Management.
p.
1.
Milius, Stefan
Moss, Lawrence S.
and
Schwencke, Daniel
2010.
Foundations of Software Science and Computational Structures.
Vol. 6014,
Issue. ,
p.
312.
Capretta, Venanzio
2010.
Bisimulations Generated from Corecursive Equations.
Electronic Notes in Theoretical Computer Science,
Vol. 265,
Issue. ,
p.
245.
Zantema, Hans H
2010.
Well-definedness of Streams by Transformation and Termination.
Logical Methods in Computer Science,
Vol. Volume 6, Issue 3,
Issue. ,
Niqui, Milad
and
Rutten, Jan
2010.
Mathematics of Program Construction.
Vol. 6120,
Issue. ,
p.
310.
Hinze, Ralf
2010.
Central European Functional Programming School.
Vol. 6299,
Issue. ,
p.
42.