CSP-CASL - A new integration of process algebra and algebraic specification

Theoretical Computer Science

Volumn 354, Issue 1, 2006, Pages 42-71

  Roggenbach, Markus ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Algebraic specification; CASL; CSP; Institution; Process algebra

Indexed keywords

ALGEBRA; SEMANTICS;

ALGEBRAIC SPECIFICATION; CASL; CSP; PROCESS ALGEBRA;

COMPUTER SCIENCE;

EID: 33644584169     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.11.007     Document Type: Conference Paper

References (22)

1. E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P.D. Mosses, D. Sannella, and A. Tarlecki CASL - the common algebraic specification language Theoret. Comput. Sci. 286 2002 153 196
2. E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of System Specification, Springer, Berlin, 2000.
3. C. Baier, and M.E. Majster-Cederbaum The connection between an event structure semantics and an operational semantics for TCSP Acta Informatica 31 1994 81 104
4. J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier, Amsterdam, 2001.
5. A. Gimblett, M. Roggenbach, H. Schlingloff, Towards a Formal Specification of an Electronic Payment System in CSP-CASL, in: J.L. Fiadeiro, P.D. Mosses, F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques, Revised Selected Papers of WADT, Lecture Notes in Computer Science, Vol. 3423, pp. 61-78, Springer, Berlin 2005.
6. R.J. van Glabbeek Notes on the methodology of CCS and CSP Theoret. Comput. Sci. 177 1997 329 349
7. J.A. Goguen, and R.M. Burstall Institutions: Abstract model theory for specification and programming J. ACM 39 1992 95 146
8. J.F. Groote, A. Ponse, The syntax and semantics of μ CRL, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), in: Algebra of Communicating Processes '94, Workshops in Computing Series, Springer, Berlin, 1995, pp. 26-62.
9. T. Hoare Communicating Sequential Processes 1985 Prentice-Hall Englewood Cliffs, NJ
10. ISO 8807, Lotos - a formal description technique based on the temporal ordering of observational behaviour, Geneva, 1989.
11. Y.Isobe, M.Roggenbach, A Generic Theorem Prover of CSP Refinement, in: N. Halbwachs, L.D. Zuck (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Proceedings of TACAS 2005, Lecture Notes in Computer Science, Vol. 3440, pp. 108 - 123, Springer, Berlin 2005.
12. JTCI/SC7/WG14, The E-LOTOS final draft international standard, 2001, Available at 〈 ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/elotos- fdis 〉.
13. T. Mossakowski, CASL: from semantics to tools, in: S. Graf, M. Schwartzbach (Eds.), TACAS 2000, Lecture Notes in Computer Science, Vol. 1785, Springer, Berlin, 2000, pp. 93-108.
14. T. Mossakowski Relating CASL with other specification languages: the institution level Theoret. Comput. Sci. 286 2002 367 475
15. T. Mossakowski, L. Schröder, M. Roggenbach, H. Reichel, Algebraic-coalgebraic specification in COCASL, JALP, to appear.
16. P.D. Mosses (Ed.), CASL Reference Manual, Lecture Notes in Computer Science, Vol. 2960, Springer, Berlin, 2004.
17. G. Reggio, E. Astesiano, C. Choppy, CASL-LTL, Technical Report DISI-TR-99-34, Università di Genova, 2000.
18. G. Reggio, L. Repetto, CASL-CHART: a combination of statecharts and of the algebraic specification language CASL, AMAST'00, Lecture Notes in Computer Science, Vol. 1816, Springer, Berlin, 2000, pp. 243-257.
19. M. Roggenbach, T. Mossakowski, L. Schröder, CASL libraries, in: P. Mosses (Ed.), CASL Reference Manual, Lecture Notes in Computer Science, Vol. 2960, Springer, Berlin, 2004.
20. A.W. Roscoe The Theory and Practice of Concurrency 1998 Prentice-Hall Englewood Cliffs, NJ
21. G. Salaün, M. Allemand, C. Attiogbé, A formalism combining CCS and CASL, Technical Report 00.14, University of Nantes, 2001.
22. G. Salaün, M. Allemand, C. Attiogbé, Specification of an access control system with a formalism combining CCS and CASL, Parallel and Distributed Processing, IEEE, 2002, Silver Spring, MD, pp. 211-219.