Author:
Goguen Joseph,Lin Kai,Roşu Grigore
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. Vicious Circles: On the Mathematics of Non-wellfounded Phenomena.;Barwise,1996
2. Michel Bidoit and Rolf Hennicker. Observer complete definitions are behaviourally coherent. In Kokichi Futatsugi, Joseph Goguen, and José Meseguer, editors, OBJ/CafeOBJ/Maude at Formal Methods '99, pages 83-94. Theta, 1999. Proceedings of a workshop held in Toulouse, France, 20th and 22nd September 1999.
3. Samuel Buss and Grigore Roşu. Incompleteness of behavioral logics. In Horst Reichel, editor, Proceedings of Coalgebraic Methods in Computer Science (CMCS'OO), Berlin, Germany, March 2000, volume 33 of Electronic Notes in Theoretical Computer Science, pages 61-79. Elsevier Science, 2000.
4. Manuel Clavel, Steven Eker, Patrick Lincoln, and José Meseguer. Principles of Maude. In José Meseguer, editor, Proceedings, First International Workshop on Rewriting Logic and its Applications. Elsevier Science, 1996. Volume 4, Electronic Notes in Theoretical Computer Science.
5. Louise Dennis, Alan Bundy, and Ian Green. Using a generalisation critic to find bisimulations for coinductive proofs. In William McCune, editor, Proceedings of the 14th Conference on Automated Deduction, volume 1249 of Lecture Notes in Artificial Inteligence, pages 276-290. Springer, 1996.