×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [basic process algebra]
Connectors and Concurrency joint work with Ugo Montanari Roberto Bruni Dipartimento di Informatica Università di Pisa Dagstuhl Seminar #04241, September
216 views
A summary of our activities about WSI Philippe Giabbanelli CMPT 894 – Spring 2008
216 views
How to verify Erlang Programs?
60 views
A summary of our activities about WSI
43 views
Process Algebra (2IF45) Extending the Basic Process Algebra
53 views