Vol. 22 No. 3-4 (2003): Computing and Informatics

Articles

• The Expressive Power of Abstract-State Machines

  Wolfgang Reisig

  209-219

  • PDF

• Foundations of the B method

  Dominique Cansell, Dominique Mery

  221-256

  • PDF

• CafeOBJ: Logical Foundations and Methodologies

  Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata

  257-283

  • PDF

• 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

  Chris George, Anne E. Haxthausen

  323-350

  • PDF

• On the Logic of TLA+

  Stephan Merz

  351-379

  • PDF

• Z Logic and its Consequences

  Martin C. Henson, Steve Reeves, Jonathan P. Bowen

  381-415

  • PDF