A Term Model for CCS.

Matthew Hennessy, Gordon D. Plotkin

Browse the full MFCS paper archive.