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

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