A Chart Semantics for the Pi-Calculus

Johannes Borgström, Andrew D. Gordon, Andrew Phillips. A Chart Semantics for the Pi-Calculus. Electronic Notes in Theoretical Computer Science, 194(2):3-29, 2008. [doi]

Authors

Johannes Borgström

This author has not been identified. Look up 'Johannes Borgström' in Google

Andrew D. Gordon

Identified as Andrew D. Gordon

Andrew Phillips

This author has not been identified. Look up 'Andrew Phillips' in Google