Index of http://cadp.inria.fr/ftp/demos/demo_40

This is an HTTP mirror of the following FTP resource ftp://ftp.inrialpes.fr/pub/vasy/demos/demo_40

parent directory

Directories
doc

Files Size Last modified
=READ_ME.txt 2 KB Sep 7 2017
BOOK.lib 2 KB Mar 27 2006
BOOKSTORE.lib 3 KB Mar 27 2006
CENTRAL_STORE.lib 3 KB Mar 27 2006
commerce.lotos 2 KB Mar 27 2006
COMPUTE_NEXT.lib 2 KB Mar 27 2006
demo_40.tar.Z 718 KB Mar 14 2021
demo_40.zip 492 KB Mar 14 2021
demo.svl 4 KB Sep 7 2017
EXTENDED_NATURAL.lib 1 KB Mar 14 2006
INITIAL_BOOKSTORES.lib 7 KB Mar 27 2006
INITIAL_STOCKS.lib 1 KB Mar 27 2006
INVARIANT.lib 2 KB Mar 27 2006
LOCAL_STORE.lib 1 KB Mar 27 2006
NEGOTIATION_PROCESSES.lib 8 KB Mar 27 2006
negotiation.lotos 3 KB Mar 16 2006
STOCK.lib 3 KB Mar 29 2006
SUPPLIER.lib 1 KB Mar 27 2006