Coordination Models and Languages

Coordination Models and Languages

4.11 - 1251 ratings - Source

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming