Cited By
View all- Acar UCharguéraud ARainey MSieczkowski F(2016)Dag-calculus: a calculus for parallel computationACM SIGPLAN Notices10.1145/3022670.295194651:9(18-32)Online publication date: 4-Sep-2016
- Castro DHammond KSarkar S(2016)Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphismsACM SIGPLAN Notices10.1145/3022670.295192051:9(4-17)Online publication date: 4-Sep-2016
- Adams KGračanin D(2007)Using adaptive scheduling for increased resiliency in passive asynchronous replicationInnovations in Systems and Software Engineering10.1007/s11334-007-0037-93:4(333-344)Online publication date: 10-Nov-2007
- Show More Cited By