并发

事务处理, 并发控制, 数据一致性, 数据库, 计算机科学

快照隔离 (Snapshot Isolation)

MVCC, 事务, 并发, 快照隔离, 数据库

实时系统, 技术, 编程语言, 计算机科学, 软件工程

PLEX (PLEX)

PLEX, 实时, 嵌入式系统, 并发, 编程

学术研究, 嵌入式系统, 系统工程, 计算机科学, 软件工程

托勒密项目 (Ptolemy Project)

实时系统, 嵌入式系统, 并发, 建模, 托勒密项目

分布式系统, 并发编程, 模型, 理论计算机科学, 计算机科学

Join演算 (Join-calculus)

Join演算, 分布式, 并发, 计算机模型, 进程演算

人工智能, 并发编程, 编程, 计算机科学, 逻辑编程

并发约束逻辑编程 (Concurrent Constraint Logic Programming)

CCLP, 并发, 约束, 约束逻辑编程, 编程范式