Architecture Description for Mobile Distributed Systems Using Typed ::::pi::::-Calculus

Volker Gruhn, Clemens Schäfer. Architecture Description for Mobile Distributed Systems Using Typed ::::pi::::-Calculus. Electronic Notes in Theoretical Computer Science, 150(1):51-60, 2006. [doi]

Abstract

Abstract is missing.