Chemical abstract machine, in (1990)

by G Berry, G Boudol
Venue:Proc. 17th ACM Symp. Principles of Programming Languages (POPL’90), ACM