Title: A methodology for programming with concurrency