Computing and Informatics
Article List
Volume 22, 2003, No. 3-4
ISSN 1335-9150 (print)
ISSN 2585-8807 (online)
Content:
- REISIG, W.: The Expressive Power of Abstract-State Machines. (p. 209)
- CANSELL, D. - MÉRY, D.: Foundations of the B method. (p. 221)
- DIACONESCU, R. - FUTATSUGI, K. - OGATA, K.: CafeOBJ: Logical Foundations and Methodologies. (p. 257)
- MOSSAKOWSKI, T. - HAXTHAUSEN, A. - SANNELLA, D. - TARLECKI, A.: CASL --- The Common Algebraic Specification Language: Semantics and Proof Theory. (p. 285)
- GEORGE, C. - E. HAXTHAUSEN, A.: The Logic of the RAISE Specification Language. (p. 323)
- MERZ, S.: On the Logic of TLA+. (p. 351)
- C. HENSON, M. - REEVES, S. - P. BOWEN, J.: Z Logic and its Consequences. (p. 381)