Skip to content

Panini: a concurrent programming model with modular reasoning.

Mehdi Bagherzadeh

VenueAOOPSLA
Year2015
ProceedingsSPLASH (Companion Volume)

Browse the full OOPSLA paper archive.