Similar to CICS
モデル検査
Model checking
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus
ループ不変条件
Loop invariant
論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical system
COSMO (コンピュータ)
メインフレーム
Mainframe computer
ADABAS
ADABAS
Amdahl 470V/6
BESM
BESM
CANO-AID
DIPS (コンピュータ)
FONTAC
Honeywell 200シリーズ
Honeywell 200
IBMメインフレーム用オペレーティングシステムの歴史
History of IBM mainframe operating systems
NEAC
SDS 940
SDS 940SVF for Mainframe
UNIVAC高速プリンタ
UNIVAC High speed printerVTOC
アムダール
Amdahl Corporation
チャネル・コントローラ
Channel I/O
汎用機オペレータ
トランザクションモニター
Teleprocessing monitor
OpenTP1