A correct abstract machine for the stochastic pi-calculus (2004)

by Andrew Phillips , Luca Cardelli
Venue:In Bioconcur’04. ENTCS
Citations:76 - 10 self