Publication
-
Brzozowski's and up-to algorithms for must testing In Proceedings
January 2013 -
A coalgebraic view of epsilon-transitions In Proceedings
January 2013 -
Well-founded coalgebras, revisited Tech Report
January 2013 -
Language constructs for non-well-founded computations In Proceedings
January 2013 -
Sound and complete axiomatizations of coalgebraic language equivalence Article
ACM Transactions on Computational Logic, 14(1)January 2013 -
A coinductive treatment of infinitary rewriting Article
Computing Research RepositoryJanuary 2013
-
User-defined schedulers for real-time concurrent objects Article
Innovations in Systems and Software Engineering, 9(1), 29-43.January 2013 -
A weakest precondition calculus for BUnity Article
Science of Computer Programming, 78(9), 1278-1293.January 2013