COCASL at work - Modelling process algebra

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 1, 2003, Pages 206-220

  Mossakowski, Till ^a   Roggenbach, Markus ^a   Schröder, Lutz ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; FORMAL LOGIC; SEMANTICS; SYSTEMS ANALYSIS;

DESIGN SPECIFICATIONS; PROCESS ALGEBRA; REACTIVE SYSTEMS; SEMANTIC CONCEPTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944374403     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80640-6     Document Type: Conference Paper

References (22)

1. CASL - The COFI Algebraic Specification Language - Semantics (1999), Note S-9 (Documents/CASL/Semantics, version 0.96), in [7].
2. CASL - The COFI Algebraic Specification Language - Summary, version 1.0.1 (2001), Documents/CASL/Summary, in [7].
3. Aczel P., Mendler N. A final coalgebra theorem. Category Theory and Computer Science. LNCS 389 :1989;357-365
4. Astesiano E., Bidoit M., Krieg-Brückner B., Kirchner H., Mosses P.D., Sannella D., Tarlecki A. CASL - the Common Algebraic Specification Language. Theoret. Comput. Sci. 286:2002;153-196
5. Broy M. Algebraic specification of reactive systems. Algebraic Methodology and Software Technology. LNCS 1101 :1996;487-503
6. Cheng A. and M. Nielsen, Open maps (at) work, Technical Report RS-95-23, BRICS (1995).
7. COFI, The Common Framework Initiative, electronic archives, notes and documents accessible from http://www.cofi.info.
8. Hoare C.A.R. "Communicating Sequential Processes" 1985;Prentice Hall
9. Kurz A. Specifying coalgebras with modal logic. Theoret. Comput. Sci. 260:2001;119-138
10. Milner R. "Communication and Concurrency" 1989;Prentice Hall
11. Mossakowski T., H. Reichel, M. Roggenbach and L. Schröder, Algebraic-coalgebraic specification in COCASL, presented at WADT 02, submitted for publication.
12. Mossakowski T., M. Roggenbach and L. Schröder, Specifications of CCS and CSP in COCASL, available under http://www.pst.informatik.uni-muenchen.de/ ~baumeist/COFI/case.html.
13. Reggio G., E. Astesiano and C. Choppy, CASL-LTL - a CASL extension for dynamic reactive systems - summary, Technical Report DISI-TR-99-34, Università di Genova (2000).
14. Reggio G., Repetto L. CASL-CHART: a combination of statecharts and of the algebraic specification language CASL. Algebraic Methodology and Software Technology. LNCS 1816 :2000;243-257 Springer
15. Roggenbach M., CSP-CASL - a new integration of process algebra and algebraic specification, presented at WADT 02, submitted for publication.
16. Roggenbach M., Majster-Cederbaum M. Towards a unified view of bisimulation: a comparative study. Theoret. Comput. Sci. 238:2000;81-130
17. Roscoe A. "The theory and practice of concurrency," 1998;Prentice Hall
18. Rothe J., Tews H., Jacobs B. The coalgebraic class specification language CCSL. J. Universal Comput. Sci. 7:2001;175-193
19. Rutten J.J.M.M. Universal coalgebra: A theory of systems. Theoret. Comput. Sci. 249:2000;3-80
20. Salaün, G., M. Allemand and C. Attiogbé, A formalism combining CCS and CASL, Technical Report 00.14, University of Nantes (2001).
21. Salaün G., Allemand M., Attiogbé C. Specification of an access control system with a formalism combining CCS and CASL. Parallel and Distributed Processing. 2002;211-219 IEEE
22. Sassone V., Nielsen M., Winskel G. Models for concurrency. Theoret. Comput. Sci. 170:1996;297-348