Ralph-Johan Back Martin Büchi Emil Sekerinski Action-Based Concurrency and Synchronization for Objects. 248-262 1997 conf/arts/1997 ARTS db/conf/arts/arts1997.html#BackBS97 https://doi.org/10.1007/3-540-63010-4_17