Script iniziato su lun 06 giu 2011 10:51:49 CEST
elbryan@UbunBox:~/tmp$ wget http://homepages.inf.ed.ac.uk/perdita/cwb/CWBEXPORTDIR/xccscwb.x86-linux.gz
--2011-06-06 10:51:55--  http://homepages.inf.ed.ac.uk/perdita/cwb/CWBEXPORTDIR/xccscwb.x86-linux.gz
Risoluzione di homepages.inf.ed.ac.uk... 129.215.202.31
Connessione a homepages.inf.ed.ac.uk|129.215.202.31|:80... connesso.
HTTP richiesta inviata, in attesa di risposta... 200 OK
Lunghezza: 501449 (490K) [application/x-gzip]
Salvataggio in: "xccscwb.x86-linux.gz"

100%[================================================>] 501.449      726K/s   in 0,7s    

2011-06-06 10:51:56 (726 KB/s) - "xccscwb.x86-linux.gz" salvato [501449/501449]

elbryan@UbunBox:~/tmp$ gunzip xccscwb.x86-linux.gz 
elbryan@UbunBox:~/tmp$ chmod +x xccscwb.x86-linux 
elbryan@UbunBox:~/tmp$ ./xccscwb.x86-linux 

Edinburgh Concurrency Workbench, version 7.1, 
Sun Jul 18 21:19:30 1999
Process algebra: CCS
Optional modules in this build: AgentExtra,Graph,Divergence,Contraction,
Equivalences,Logic,Simulation,Testing
Command: