The chemical abstract machine (1990)

by G Berry, G Boudol
Venue:In Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL’90