Date of Original Version

8-2005

Type

Conference Proceeding

Abstract or Description

In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. The resulting system is elegant, logically faithful, and computationally reasonable.

DOI

10.1007/11538363_6

Share

COinS