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.
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.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 9,
p.
189.
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.
p.
189.
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.
Goriac, Eugen-Ioan
Caltais, Georgiana
and
Lucanu, Dorel
2009.
Simplification and Generalization in CIRC.
p.
85.
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.
HINZE, RALF
2010.
Concrete stream calculus: An extended study.
Journal of Functional Programming,
Vol. 20,
Issue. 5-6,
p.
463.
Capretta, Venanzio
2010.
Bisimulations Generated from Corecursive Equations.
Electronic Notes in Theoretical Computer Science,
Vol. 265,
Issue. ,
p.
245.
Arbab, Farhad
2010.
Complex Systems Design & Management.
p.
1.
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.
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
Moss, Lawrence S.
and
Schwencke, Daniel
2010.
Foundations of Software Science and Computational Structures.
Vol. 6014,
Issue. ,
p.
312.
Silva, Alexandra
and
Rutten, Jan
2010.
A coinductive calculus of binary trees.
Information and Computation,
Vol. 208,
Issue. 5,
p.
578.