Toward a concurrent programming model with modular reasoning
M Bagherzadeh - 2016 - search.proquest.com
Modular reasoning and concurrent programming are both necessary for scalable
development of performant software. Modular reasoning improves scalability by allowing a …
development of performant software. Modular reasoning improves scalability by allowing a …