理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- Olympic Arts Festival
- Olympic bidding city
- Olympic capital
- Olympic Charter
- Olympic coins
- Olympic commemorative pins
- Olympic Council of Asia
- Olympic Cup
- Olympic dam copper-uranium-gold deposit
- Olympic Day
- Olympic emblem
- Olympic flag
- Olympic flame
- Olympic Games
- Olympic Glorious Program
- Olympic Heritage
- Olympic Honour-Winning Programme
- Olympic medal
- Olympic Media Awards
- Olympic motto
- Olympic Movement Goal
- Olympic Museum
- Olympic National Park
- Olympic Oath
- Olympic Order