Daniel Parreira

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The mainstream use of concurrent programming is bound to the provision of constructs that abstract details intrinsic to concurrency, while ensuring safety and liveness properties. Several control-centric approaches meet these requirements but decentralise concurrency management, hindering reasoning. The alternative data-centric approach promotes local(More)
  • 1