Computational flux (2001)

by R Milner
Venue:Proc 28th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages