12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings ... In order to reduce RAM termination to client-service compliance, we define a client contract that simulates the execution of a RAM program, and a service contract that represent the registers, such that the client contract reaches the success a if and only if the RAM program terminates.
|Title||:||Coordination Models and Languages|
|Author||:||David Clarke, Gul Agha|
|Publisher||:||Springer - 2010-06-07|