4 citations · 7 across the 3 of their papers we have counts for
3 papers
An Interference-Free Programming Model for Network Objects
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer
Network objects are a simple and natural abstraction for distributed object-oriented programming. Languages that support network objects, however, often leave synchronization to th…
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership
Mischael Schill, Sebastian Nanz, Bertrand Meyer
In shared-memory concurrent programming, shared resources can be protected using synchronization mechanisms such as monitors or channels. The connection between these mechanisms an…
Handling Parallelism in a Concurrency Model
Mischael Schill, Sebastian Nanz, Bertrand Meyer
Programming models for concurrency are optimized for dealing with nondeterminism, for example to handle asynchronously arriving events. To shield the developer from data race error…