binghe/HOL-CCS

Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)

语言：TeX · GitHub 星标：6 · Fork：0

话题：concurrency · higher-order-logic · process-algebra

在 GitHub 上查看原仓库