The chemical abstract machine, in (1990)

by G Berry, G Boudol
Venue:POPL ’90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages