DEECo computational model – I


This report provides the formalization of DEECo concepts and operational semantic of
DEECo systems. Further, it establishes the refinement relation and shows the centralized tuple space semantics (as featured by local and Apache River-based knowledge providers in jDEECo).


This entry was posted in Technical Report. Bookmark the permalink.

Comments are closed.