O
que é?
É um
cálculo para agente móveis criado por Cardelli e
inspirado na idéia de ambientes. Os ambientes comportam
processos que rodam conjuntamente. A idéia de mobilidade
é implementada através da capacidade (através
de primitivas) dos ambientes em entrarem ou sairem de outros ambientes,
bem como de serem gerados ou destruídos.
Referências: