Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
doi 10.19153/cleiej.1.2.2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Centro Latino Americano de Estudios en Informatica