![](https://www.pdfsearch.io/img/d91bd56042a93446ef53bc9e95e7ef1b.jpg) Date: 2009-02-16 11:47:52
| | Proof Search Specifications of Bisimulation and Modal Logics for the π-calculus Alwen Tiu Logic and Computation Group College of Engineering and Computer Science The Australian National UniversityAdd to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source Website File Size: 513,79 KBShare Document on Facebook
|