Similar to プロセス計算
モンデックスカード
Mondexユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculusループ不変条件
Loop invariant論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical systemEiffel
Eiffel (programming language)Object Constraint Language
Object Constraint LanguageProperty Specification Language
Property Specification LanguageSpec Sharp
公理的意味論
Axiomatic semantics操作的意味論
Operational semantics並行計算
Concurrent computingAmoeba (オペレーティングシステム)
Amoeba (operating system)C Sharp
C Sharp (programming language)Chapel
Chapel (programming language)Co-array Fortran
Coarray FortranComponent Object Model
Component Object ModelConcurrency and Coordination Runtime
Concurrency and Coordination RuntimeConcurrent Prolog
Constraint Handling Rules
Constraint Handling RulesEarliest Deadline First
Earliest deadline first schedulingErlang
Erlang (programming language)Fortress
Fortress (programming language)Future パターン
Futures and promisesGo (プログラミング言語)
Go (programming language)Guarded Horn Clauses
High Performance Fortran
High Performance Fortran