Loïc Paulevé

Latest

• Stochastic simulation of multiple process calculi for biology
• A generic abstract machine for stochastic process calculi