DEECo computational model – I

Abstract

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).

PDF

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

Comments are closed.