1 paper · 1 filter
Stephan van Staden
The proposed framework provides a general model of concurrent imperative programming. Programs are modeled as formal languages and concurrency as an interleaving (or shuffle) opera…