Some chemical abstract machines (1993)

by G Boudol
Venue:In Springer Lect. Notes in Comp. Sci. 803: Proceedings of REX School