Content 3-4/2003

Vol. 22, 2003, No. 3-4

This number contains 6 articles.

The Expressive Power of Abstract-State Machines
Wolfgang Reisig
pp. 209–219
Foundations of the B method
Dominique Cansell, Dominique Mery
pp. 221–256
Cłowercaseafe
Răzvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
pp. 257–283
The Logic of the RAISE
Chris George, Anne E. Haxthausen
pp. 323–350
On the Logic of TLAp
Stephan Merz
pp. 351–379
Z Logic and its Consequences
Martin C. Henson, Steve Reeves, Jonathan P. Bowen
pp. 381–415