1 paper
Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
The behavior of concurrent, asynchronous procedures depends in general on the call context, because of the global protocol that governs scheduling. This context cannot be specified…