Author:
Roşu Grigore,Lucanu Dorel
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Bidoit, M., Hennicker, R.: Observer complete definitions are behaviourally coherent. In: OBJ/CAFEOBJ/MAUDE AT FORMAL METHODS 1999, pp. 83–94. THETA (1999)
2. Bidoit, M., Hennicker, R., Kurz, A.: Observational logic, constructor-based logic, and their duality. Theoretical Computer Science 3(298), 471–510 (2003)
3. Buss, S., Roşu, G.: Incompleteness of behavioral logics. In: Proceeding of CMCS 2000. ENTCS, vol. 33, pp. 61–79. Elsevier (2000)
4. Diaconescu, R., Futatsugi, K.: CafeOBJ Report. AMAST Series in Computing, vol. 6. World Scientific (1998)
5. Dijkstra, E.W.: On the productivity of recursive definitions. EWD749 (September 1980)