Vitalsource Technologies, Inc. Handbook of Truly Concurrent Process Algebra