Vitalsource Technologies, Inc. Algebraic Theory for True Concurrency | Kaicus USA