The chemical abstract machine (1992)

by G Berry, G Boudol
Venue:Theoretical Computer Science