Report - proof-techniques for syncronous and asynchronous pi ...zappa/teaching/mpri/2007/5.pdf · Concurrency theory proof-techniques for syncronous and asynchronous pi-calculus Francesco

Please pass captcha verification before submit form