Processalgebra is the common name of a family of abstract programming notations based on transition systems.
プロセス代数とは、遷移システムに基づく抽象プログラミング記法一族の共通名である。 - コンピューター用語辞典
SYSTEM AND METHOD THAT EMPLOY PROCESSALGEBRA TO SPECIFY CONTRACT AND UTILIZE PERFORMANCE PREDICTION IMPLEMENTATION THEREOF TO MEASURE THE SAME SPECIFICATION プロセス代数を使用して契約の指定を行い、その性能予測インプリメンテーションを利用してその指定を評価するシステムおよび方法 - 特許庁
ProcessAlgebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components.
ブロセス代数は複合コンピュータシステム、特に通信を行い同時に実行する構成部分を含むシステムについての形式的記述技法の一つである。 - コンピューター用語辞典
The linear algebra is designed to process retrogressive constraints by skipping most unnecessary preliminary processing steps if a regression appears when required factorization is carried out. 該線形代数は、要求された因数分解が実行されるとかつ退歩が現れると、最も必要のない予備処理ステップを介さずに退歩制約を処理するように設計される。 - 特許庁