Similar to プロセス計算
Communicating Sequential Processes
Communicating sequential processes
ペトリネット
Petri net
アクターモデル
Actor model
DPLLアルゴリズム
DPLL algorithm/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-MethodTLA+
TLA+
チューリングマシン
Turing machine
表示的意味論
Denotational semantics
ビリヤードボール・コンピュータ
Billiard-ball computer
有限オートマトン
Finite-state machine
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
Disquisitiones Arithmeticae
Disquisitiones ArithmeticaeDTIME
DTIME
Mizar
Mizar system
仕様及び記述言語
Specification and Description LanguagePlusCal
PlusCal
VDM
Vienna Development Method
形式仕様記述
Formal specification
仕様記述言語
Specification language
Z言語
Z notationプログラム意味論
Semantics (computer science)
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programmingConcurrent Prolog
グローバルインタプリタロック
Global interpreter lock
0
0