Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
doi 10.19153/cleiej.1.2.2
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 1998
Authors
Publisher
Centro Latino Americano de Estudios en Informatica