Analysis of Concurrent Programs [Pisa]



next up previous WS Presentations Main Page
Next: Analysis of Concurrent Up: Document: achievements Previous: Analysis/Transf. of Seq.

Analysis of Concurrent Programs [Pisa]



Thu Jan 18 11:30:54 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>