The chemical abstract machine, (1992)

by G Berry, G Boudol
Venue:Theoretical Computer Science