Interaction Model Language

In this deliverable we introduce ambient LCC, a language to program interaction models for P2P networks. The language is based on process algebra concepts and is specially designed to support the execution of electronic institutions. An algorithm that automatically translates electronic institution specifications into ambient LCC code is presented and illustrated though an example. Background material on electronic institutions, LCC, and ambient calculus is provided to facilitate the understanding of the language. This document will serve as the reference for the implementation of the interaction model interpreter of the OpenKnowledge project architecture.