A Proof Search Specification of the π-Calculus (2004)

by Alwen Tiu , Dale Miller
Venue:IN 3RD WORKSHOP ON THE FOUNDATIONS OF GLOBAL UBIQUITOUS COMPUTING
Citations:19 - 10 self

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
A Proof Search Specification of the π-Calculus –Alwen Tiu, Dale Miller — 2004 — IN 3RD WORKSHOP ON THE FOUNDATIONS OF GLOBAL UBIQUITOUS COMPUTING