CAI: Computing and Informatics
Nine Papers on
Logic of Specification Languages

Editor: Dines Bjørner
Informatics and Mathematical Modelling
Technical University of Denmark
DK-2800 Kgs.Lyngby, Denmark
E-Mail: db@it.dtu.dk

Thursday, October 2, 2003: 7:30 pm

The below listed papers evolve around the topic of logics of specification languages.

Most will be published during the fall of 2003 in the Slovak Academy Journal: Computing and Informatics: Vol.22, Nos.2-3

A foreword is presented: Click here for PS Version. And here for PDF Version.

• ASM: Wolfgang Reisig PS
• B: Dominique Méry and Dominique Cansell PDF
• CafeOBJ: Razvan Giaconescu, Kokichi Futatsugi and Kazuhiro Ogata PS
• CASL: Till Mossakowski, Anne E. Haxthausen, Don Sanella and Andrzej Tarlecki PS
• Duration Calculi: Michael Reichhardt Hansen Yet to come
• RAISE: Chris George and Anne E. Haxthausen PS
• TLA+: Stephan Merz PDF
• VDM-L: John Fitzgerald Yet to come
• Z: Martin C. Henson, Steve Reeves and Jonathan P. Bowen PS

The above papers were all refereed by usually three reviewers.

A later version of this page will list their names while acknowledging them all for their much appreciated prompt, but detailed reports.

...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...

About this document ...

CAI: Computing and Informatics
Nine Papers on
Logic of Specification Languages

This document was generated using the LaTeX2HTML translator Version 2K.1beta (1.47)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -toc_depth 6 cai

The translation was initiated by on 2003-10-02