Vitalsource Technologies, Inc. A Calculus Of Distributed And Parallel Processes