Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/pub/linux/distributions/CTAN/web/spiderweb/src/dijkstra/ |
|
Contents of README:The spider file for Dijkstra's language of guarded commands isn't really very good. One problem is that it's hard to come up with ASCII representations of the operators Dijkstra uses. Suggestions will be appreciated. |
Name Last modified Size
Parent Directory - README 07-Apr-1989 02:00 219 binary.web 31-Dec-1987 01:00 8.5K d.spider 04-Apr-1993 02:00 4.2K make 07-Nov-1988 01:00 109 sp.web 07-Nov-1988 01:00 695
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!