There is a growing interest in programming languages and systems based on nonclassical logics such as temporal logics, interval logics, modal and intuitionistic

Communities are groupings of distributed objects that are capable of com- nicating, directly or indirectly, through the medium of a shared context. To support c

This book constitutes the refereed proceedings of the second international workshop on Innovative Internet Computing Systems, IICS 2002, held in Khlungsborn, Ge