Algebraic-coalgebraic specification in CoCasl

Journal of Logic and Algebraic Programming

Volumn 67, Issue 1-2, 2006, Pages 146-197

  Mossakowski, Till ^a   Schröder, Lutz ^a   Roggenbach, Markus ^b   Reichel, Horst ^c  

^a UNIVERSITY OF BREMEN   (Germany)

^b SWANSEA UNIVERSITY   (United Kingdom)

^c DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Algebraic specification; Casl; CCS; Coalgebra; CSP; Process algebra

Indexed keywords

ALGEBRA; FORMAL LOGIC; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MODAL ANALYSIS; SPECIFICATIONS;

ALGEBRAIC SPECIFICATION; CASL; CCS; COALGEBRA; CSP; PROCESS ALGEBRA;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 33644645522     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2005.09.006     Document Type: Article

References (58)

1. J. Adámek, H. Herrlich, and G.E. Strecker Abstract and Concrete Categories 1990 Wiley Interscience
2. J. Adámek, and V. Koubek On the greatest fixed point of a set functor Theoretical Computer Science 150 1 1995 57 75
3. M. Arbib, and E. Manes Parametrized data types do not need highly constrained parameters Inform. Control 52 1982 139 158
4. M. Barr Terminal coalgebras in well-founded set theory Theoret. Comput. Sci. 114 1993 299 315
5. H. Baumeister, M. Cerioli, A. Haxthausen, T. Mossakowski, P.D. Mosses, D. Sannella, A. Tarlecki, Casl semantics, Part III of [34].
6. J.A. Bergstra, A. Ponse, and S.A. Smolka Handbook of Process Algebra 2001 Elsevier
7. M. Bidoit, and R. Hennicker On the integration of observability and reachability concepts Foundations of Software Science and Computation Structures LNCS vol. 2303 2002 Springer pp. 21-36
8. M. Bidoit, and P.D. Mosses Casl user manual LNCS vol. 2900 2004 Springer
9. P. Burmeister Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras Algebra Universalis 15 1982 306 358
10. A. Cheng, M. Nielsen, Open maps (at) work, Tech. Report RS-95-23, BRICS, 1995.
11. C. Cîrstea On specification logics for algebra-coalgebra structures: Reconciling reachability and observability Foundations of Software Science and Computation Structures LNCS vol. 2303 2002 Springer pp. 82-97
12. R. Cockett, T. Fukushima, About Charity, Yellow Series Report 92/480/18, Univ. of Calgary, Dept. of Comp. Sci., 1992.
13. CoFI Language Design Group, in: B. Krieg-Brückner, P.D. Mosses (Eds.), Casl summary, Part I of [34].
14. J. Goguen, and R. Burstall Institutions: Abstract model theory for specification and programming J. ACM 39 1992 95 146
15. J. Goguen, K. Lin, and G. Rosu Conditional circular coinductive rewriting Automated Software Engineering 2000 IEEE Press pp. 123-131
16. J. Goguen, and G. Rosu Institution morphisms Formal aspects of computing 13 2002 274 307
17. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice Hall
18. B. Jacobs Towards a duality result in the modal logic of coalgebras Coalgebraic Methods in Computer Science Electron. Notes Theoret. Comput. Sci. vol. 33 2000 Elsevier
19. B. Jacobs Many-sorted coalgebraic modal logic: a model-theoretic study Theor. Inform. Appl. 35 2001 31 59
20. D. Kozen Results on the propositional μ-calculus Theoret. Comput. Sci. 27 1983 333 354
21. A. Kurz, Logics for coalgebras and applications to computer science, Ph.D. thesis, Universität München, 2000.
22. A. Kurz, Coalgebras and modal logic, Course Notes for the European Summer School on Logic, Language and Information (CD-ROM), University of Helsinki, 2001.
23. A. Kurz Specifying coalgebras with modal logic Theoret. Comput. Sci. 260 2001 119 138
24. A. Kurz Logics admitting final semantics Foundations of Software Science and Computation Structures LNCS vol. 2303 2002 Springer pp. 238-249
25. R. Milner Communication and Concurrency 1989 Prentice Hall
26. R. Milner Operational and algebraic semantics of concurrent processes J. van Leewen Handbook of Theoretical Computer Science vol. B: Formal Models and Semantics 1990 MIT Press 1201 1242
27. L. Moss Coalgebraic logic Ann. Pure Appl. Logic 96 1999 277 317
28. T. Mossakowski, C. Maeder, K. Lüttich, S. Wölfl, The heterogeneous tool set, submitted for publication. See also 〈www.tzi.de/ cofi/hets〉.
29. T. Mossakowski, Heterogeneous specification and the heterogeneous tool set, Habilitation thesis, University of Bremen, 2005.
30. T. Mossakowski Casl: From semantics to tools Tools and Algorithms for the Construction and Analysis of Systems LNCS vol. 1785 2000 Springer pp. 93-108
31. T. Mossakowski Relating Casl with other specification languages: the institution level Theoret. Comput. Sci. 286 2002 367 475
32. T. Mossakowski, Foundations of heterogeneous specification, in: M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS, vol. 2755, Springer, 2003, pp. 359-375.
33. T. Mossakowski, M. Roggenbach, and L. Schröder CoCasl at work-modelling process algebra Coalgebraic Methods in Computer Science Electron. Notes Theoret. Comput. Sci. vol. 82 2003 Elsevier
34. P.D. Mosses Casl Reference Manual LNCS vol. 2960 2004 Springer
35. D. Pattinson, Expressivity results in the modal logic of coalgebras, Ph.D. thesis, University of Munich, 2001.
36. D. Pattinson Semantical principles in the modal logic of coalgebras Symposium on Theoretical Aspects of Computer Science LNCS vol. 2010 2001 Springer pp. 514-526
37. D. Pattinson, Expressive logics for coalgebras via terminal sequence induction, Tech. report, LMU München, 2002.
38. D. Pavlovic, and V. Pratt On coalgebra of real numbers Coalgebraic Methods in Computer Science Electron. Notes Theoret. Comput. Sci. vol. 19 1999 Elsevier
39. S. Peyton-Jones (Ed.), Haskell 98 Language and Libraries-The Revised Report, Cambridge, 2003
40. also: J. Funct. Programming 13 (2003).
41. J. Power, and H. Watanabe An axiomatics for categories of coalgebras Coalgebraic Methods in Computer Science Electron. Notes Theoret. Comput. Sci vol. 11 1998 Elsevier
42. G. Reggio, E. Astesiano, C. Choppy, CaslLTL-a Casl extension for dynamic reactive systems, version 1.0-summary, Tech. Report DISI-TR-03-36, Università di Genova, 2003.
43. G. Reggio, and L. Repetto Casl-Chart: a combination of statecharts and of the algebraic specification language Casl Algebraic Methodology and Software Technology LNCS vol. 1816 2000 Springer pp. 243-257
44. H. Reichel An approach to object semantics based on terminal co-algebras Math. Struct. Comput. Sci. 5 1995 129 152
45. H. Reichel A uniform model theory for the specification of data and process types Recent Developments in Algebraic Development Techniques 14th International Workshop (WADT 99), LNCS vol. 1827 2000 Springer pp. 348-365
46. H. Reichel, T. Mossakowski, M. Roggenbach, and L. Schröder Algebraic-coalgebraic specification in CoCasl Recent Developments in Algebraic Development Techniques 16th International Workshop (WADT 02), LNCS vol. 2755 2003 Springer pp. 376-392
47. G. Roşu, Hidden logic, Ph.D. thesis, Univ. of California at San Diego, 2000.
48. M. Roggenbach, CSP-Casl-a new integration of process algebra and algebraic specification, AMAST Workshop on Algebraic Methods in Language Processing (AMiLP 2003), TWLT, vol. 21, University of Twente, 2003.
49. A.W. Roscoe The Theory and Practice of Concurrency 1998 Prentice Hall
50. M. Rößiger Coalgebras and modal logic Coalgebraic Methods in Computer Science Electron. Notes Theoret. Comput. Sci. vol. 33 2000 Elsevier
51. J. Rothe, Behavioural equivalences for coalgebras, Ph.D. thesis, University of Dresden, 2003.
52. J. Rothe, H. Tews, and B. Jacobs The Coalgebraic Class Specification Language CCSL J. Universal Comput. Sci. 7 2001 175 193
53. J. Rutten Universal coalgebra: A theory of systems Theoret. Comput. Sci. 249 2000 3 80
54. G. Salaün, M. Allemand, C. Attiogbé, A formalism combining CCS and Casl, Tech. Report 00.14, University of Nantes, 2001.
55. G. Salaün, M. Allemand, and C. Attiogbé Specification of an access control system with a formalism combining CCS and Casl Parallel and Distributed Processing, IEEE 2002 211 219
56. A. Tarlecki On the existence of free models in abstract algebraic institutions Theoret. Comput. Sci. 37 1985 269 304
57. H. Tews, Coalgebraic methods for object-oriented languages, Ph.D. thesis, Technical Univ. of Dresden, 2002.
58. J. van den Berg, and B. Jacobs The LOOP compiler for Java and JML Tools and Algorithms for the Construction and Analysis of Systems LNCS vol. 2031 2001 Springer pp. 299-312