Connectors and Concurrency joint work with Ugo Montanari Roberto Bruni Dipartimento di Informatica Università di Pisa Dagstuhl Seminar #04241, September.
A summary of our activities about WSI Philippe Giabbanelli CMPT 894 – Spring 2008.
How to verify Erlang Programs?
A summary of our activities about WSI
Process Algebra (2IF45) Extending the Basic Process Algebra
