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

### Cached

### Download Links

by
Andrew Phillips
,
Luca Cardelli

Venue: | In Bioconcur’04. ENTCS |

Citations: | 76 - 10 self |