[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Cashew-s-auto] documentation/WLFM05 paper.tex
From: |
Simon Foster |
Subject: |
[Cashew-s-auto] documentation/WLFM05 paper.tex |
Date: |
Sun, 17 Apr 2005 20:19:52 +0100 (BST) |
Update of /share/darwin/darwin4/cvs/documentation/WLFM05
In directory hazel:/tmp/cvs-serv16713/WLFM05
Modified Files:
paper.tex
Log Message:
Simon Foster <address@hidden>
* Fixed the syntax to make it more systematic, and made sure all processes
use
the synoymns.
* Added new Sequential Composition semantics.
* Fixed some errors.
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Andrew Hughes, 2005/04/07
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/14
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/14
- [Cashew-s-auto] documentation/WLFM05 paper.tex,
Simon Foster <=
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/18
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/18
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/19
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/19
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/20
- [Cashew-s-auto] documentation/WLFM05 paper.tex, Simon Foster, 2005/04/25