Document Versions

A Proof Search Specification of the π-Calculus –Alwen Tiu, Dale Miller — 2004 — IN 3RD WORKSHOP ON THE FOUNDATIONS OF GLOBAL UBIQUITOUS COMPUTING
A proof search specification of the π-calculus –Alwen Tiu, Dale Miller, École Polytechnique — 2004 — In 3rd Workshop on the Foundations of Global Ubiquitous Computing
A proof search specification of the π-calculus –Alwen Tiu, Dale Miller — 2004 — In 3rd Workshop on the Foundations of Global Ubiquitous Computing. ENTCS
A Proof Search Specification of the π-Calculus –Alwen Tiu, Dale Miller — 2004
A Proof Search Specification of the π-Calculus –Alwen Tiu, Dale Miller — 2004 — IN 3RD WORKSHOP ON THE FOUNDATIONS OF GLOBAL UBIQUITOUS COMPUTING