Cited By
View all- Ehrhard TKrivine JJiang Y(2019)A Calculus of Branching ProcessesTheoretical Computer Science10.1016/j.tcs.2019.06.028Online publication date: Jul-2019
- Peschanski FCarro MReppy J(2011)Parallel computing with the Pi-calculusProceedings of the sixth workshop on Declarative aspects of multicore programming10.1145/1926354.1926363(45-54)Online publication date: 23-Jan-2011
- Curcin VMissier PDe Roure D(2011)Simulating Taverna workflows using stochastic process algebrasConcurrency and Computation: Practice & Experience10.1002/cpe.175723:16(1920-1935)Online publication date: 1-Nov-2011
- Show More Cited By