Termination Problems in Chemical Kinetics.

Gianluigi Zavattaro, Luca Cardelli

Browse the full CONCUR paper archive.