Vol 22, No 3-4 (2003)

Computing and Informatics

Table of Contents

Articles

The Expressive Power of Abstract-State Machines PDF
Wolfgang Reisig 209-219
Foundations of the B method PDF
Dominique Cansell, Dominique Mery 221-256
CafeOBJ: Logical Foundations and Methodologies PDF
Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata 257-283
CASL - The Common Algebraic Specification Language: Semantics and Proof Theory
Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki 285-321
The Logic of the RAISE Specification Language PDF
Chris George, Anne E. Haxthausen 323-350
On the Logic of TLA+ PDF
Stephan Merz 351-379
Z Logic and its Consequences PDF
Martin C. Henson, Steve Reeves, Jonathan P. Bowen 381-415


ISSN: 2585-8807