CC++ is a parallel object-oriented programming language that uses parallel composition, atomic functions, and single- assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely: semaphores, monitors, and asynchronous channels. A collection of libraries which integrates these traditional models with CC++ is specified, implemented, and formally verified.udud
展开▼
机译：CC ++是一种并行的面向对象的编程语言，它使用并行组成，原子函数和单赋值变量来表示并发。我们表明，这种编程范例等效于几种传统的命令式通信和同步模型，即：信号量，监视器和异步通道。指定，实现并正式验证了将这些传统模型与CC ++集成在一起的库的集合。 ud ud
展开▼
