Process creation and full sequential composition in a name-passing calculus

Thomas Gehrke, Arend Rensink. Process creation and full sequential composition in a name-passing calculus. Electronic Notes in Theoretical Computer Science, 7:141-160, 1997. [doi]

Abstract

Abstract is missing.