(ω, Ξ)-logic: On the algebraic extension of coalgebraic specifications

Electronic Notes in Theoretical Computer Science

Volumn 19, Issue , 1999, Pages 164-180

  Hennicker, Rolf ^a   Kurz, Alexander ^b  

^a UNIVERSITY OF AUGSBURG   (Germany)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION THEORY; FORMAL LOGIC; FUNCTIONS; OBJECT ORIENTED PROGRAMMING; POLYNOMIALS; SPECIFICATIONS;

COALGEBRAIC SPECIFICATIONS; OBSERVATIONAL LOGIC; STATE-BASED SYSTEMS; SWINGING DATA TYPES;

LINEAR ALGEBRA;

EID: 18944392154     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80275-0     Document Type: Conference Paper

References (24)

1. M. Bidoit and R. Hennicker. Proving behavioural theorems with standard firstorder logic. In G. Levi and M. Rodriguez-Artalejo, editors, Proc. Algebraic and Logic Programming, 4th International Conference, ALP '94, Madrid, September 1994, volume 850 of LNCS, pages 41-58, Berlin, 1994. Springer.
2. Bidoit M., Hennicker R. Behavioural theories and the proof of behavioural properties. Theoretical Computer Science. 175:1996;3-55
3. Bidoit M., Hennicker R. Modular correctness proofs of behavioural implementations. Acta Informatica. 35:1998;951-1005
4. Bidoit M., Hennicker R., Wirsing M. Behavioural and abstractor specifications. Science of Computer Programming. 25:1995;149-186
5. R. Diaconescu. Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, 1998.
6. J. Goguen and G. Malcolm. A hidden agenda. Technical Report CS97-538, UCSD, 1997.
7. H. Peter Gumm. Functors for coalgebras. Algebra Universalis. To appear.
8. Peter Gumm H. Equational and implicational classes of co-algebras. Extended abstract. RelMiCS'4. The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, Warsaw. 1998
9. R.hennicker and M. Bidoit. Observational logic. In Proc. of AMAST'98, 7th Internationl Conference on Algebraic Methodology and Software Technology, LNCS 1548, pages 263-277, 1999.
10. Rolf Hennicker. Structured specifications with behavioural operators: Semantics, proof methods and applications. Habilitation thesis, Universität München, 1997.
11. Jacobs B., Rutten J. A tutorial on (co)algebras and (co)induction. EATCS Bulletin. 62:1997
12. Jacobs Bart. Mongruences and cofree coalgebras. Lecture Notes in Computer Science. 936:1995
13. Jacobs Bart. Objects and classes, co-algebraically. Freitag B., Jones C.B., Lengauer C., Schek H.-J. Object-Orientation with Parallelism and Persistence. 1996;Kluwer Acad. Publ
14. Keisler H.J. Model Theory for Infinitary Logic. 1971;North-Holland, Amsterdam
15. Alexander Kurz. A co-variety-theorem for modal logic. Proceedings of Advances in Modal Logic, Uppsala, pages 222-230, 1998. http://www.informatik. uni-muenchen.de/~kurz.
16. G. Malcolm and J. Goguen. Proving correctness of refinement and implementation. Technical Report PRG-114, Oxford University Computing Laboratory, 1994.
17. Malcolm Grant. Behavioural equivalence, bisimulation, and minimal realisation. Lecture Notes in Computer Science. 1130:1996;359-378
18. Manes Ernest G. Algebraic Theories. 1976;Springer
19. Padawitz Peter. Swinging data types: syntax, semantics, and theory. Dahl O.-J., Haveraaen M., Owe O. Recent Trends in Data Type Specification, volume 1130 of LNCS. 1996;409-435 Springer, Berlin
20. Reichel Horst. Initial computability, algebraic specifications, and partial algebras. 1987;Oxford, Clarendon Press
21. Reichel Horst. An approach to object semantics based on terminal co-algebras. Mathematical Structures in Computer Science. 5:(2):June 1995;129-152
22. G. Roşu and J. Goguen. Hidden congruent deduction. Proc. International Workshop on First Order Theorem Proving, 1998. http://www-cse.ucsd.edu/users/goguen/ps/cong.ps.gz.
23. Rutten J., Turi D. Initial algebra and final coalgebra semantics for concurrency. Report CS-R9409, CWI, Amsterdam. 1994
24. Rutten Jan. Universal coalgebra: A theory of systems. Report CS R 9652, CWI, Amsterdam. 1996