Final Semantics for the πcalculus, PROCOMET’98, D. Gries et al. eds (1998)

by M Lenisa F Honsell, M Pistore U Montanari