Readme-www

Submitted habil. thesis (4.7.2006)

Files and directories:

They correspond to cvs snapshots, and are kept here for easy reference.

Also some older drafts of papers are kept there.

====================================================================== =================== ChangeLog (reverse chronological order) ========== ======================================================================

2006-07-04 Martin Steffen <ms@informatik.uni-kiel.de>

* submitted. Not much changes latetely. Basically I cleaned up the related work, and cleaned spotted errors.

2006-06-23 Martin Steffen <ms@naga.informatik.uni-kiel.de>

2006-06-11 Martin Steffen <ms@naga.informatik.uni-kiel.de>

2006-06-06 Martin Steffen <ms@informatik.uni-kiel.de>

2006-06-05 Martin Steffen <ms@informatik.uni-kiel.de>

Besides that, the case of returs was (before that change) not adequately represented for the legal traces (for the semantics it was ok)

Basically, this concerns Table 1.10, where the checking of o_s and c_s has been factored out.

2006-06-02 Martin Steffen <ms@informatik.uni-kiel.de>

2006-05-31 Martin Steffen <ms@informatik.uni-kiel.de>

2006-05-28 Martin Steffen <ms@naga.informatik.uni-kiel.de>

* more remarks of Mendler worked in

I also changed (back) the typing rules for type checking the labels, they had been too simplified for the legal traces, in particular the return.

The definition used in the sequential case for <-trace (without assuming determinism) mixed up also environment and component.

2006-05-25 Martin Steffen <ms@naga.informatik.uni-kiel.de>

2006-05-21 Martin Steffen <ms@informatik.uni-kiel.de>

2006-05-16 Martin Steffen <ms@informatik.uni-kiel.de>

The state corresponds to snapshot5 (archived + cvs snapshot)

Similar lemmas for preservation of the communication partners are not needed.

I could avoid adding also those properties, since I base the proof on the ``normal form'' lemma.

2006-05-14 Martin Steffen <ms@informatik.uni-kiel.de>

2006-05-09 Martin Steffen <ms@informatik.uni-kiel.de>

* (Files): I reactivated the equational swapping to add more theory of the traces.

2006-04-29 Martin Steffen <ms@naga.informatik.uni-kiel.de>

2006-04-28 Martin Steffen <ms@informatik.uni-kiel.de>

2006-04-27 Martin Steffen <ms@naga.informatik.uni-kiel.de>

2006-04-26 Martin Steffen <ms@informatik.uni-kiel.de>

2006-04-25 Martin Steffen <ms@informatik.uni-kiel.de>

In particular some help lemmas for balance have been spelled out more (+ 2 additional lemma added) and soundness of balance done in more detail.

2006-04-21 Martin Steffen <ms@informatik.uni-kiel.de>

2006-04-20 Martin Steffen <ms@informatik.uni-kiel.de>

2006-04-19 Martin Steffen <ms@naga.informatik.uni-kiel.de>

2006-04-17 Martin Steffen <ms@naga.informatik.uni-kiel.de>

2006-04-16 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-04-12 Martin Steffen <ms@informatik.uni-kiel.de>

006-04-11 Martin Steffen <ms@informatik.uni-kiel.de>

006-04-10 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-04-11 Martin Steffen <ms@informatik.uni-kiel.de>

006-04-09 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-04-07 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-31 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-29 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-29 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-29 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-26 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-24 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-23 Martin Steffen <ms@informatik.uni-kiel.de>

down at 16/25

006-03-22 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-18 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-17 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-16 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-16 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-15 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-15 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-14 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-13 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-13 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-12 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-10 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-03-09 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-07 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-05 Martin Steffen <ms@informatik.uni-kiel.de>

006-03-02 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-02-26 Martin Steffen <ms@naga.informatik.uni-kiel.de>

006-01-23 Martin Steffen <ms@informatik.uni-kiel.de>

005-12-15 Martin Steffen <ms@informatik.uni-kiel.de>

005-11-17 Martin Steffen <ms@informatik.uni-kiel.de>

005-11-15 Martin Steffen <ms@informatik.uni-kiel.de>

The multi-threaded part still under work.

=============================================================

M. Steffen

############################################################ $Id: Readme-www,v 1.99 2006/07/06 05:45:56 mobij Exp $ ## ##########################################################