摘要
The intent of this paper is to provide the basic ideas and the possible alternatives underlying the task of giving a semantics to a concurrent system/language, and to describe a particular approach which makes some specific choices in order to give a semantics to the class of CC languages. In particular, we will discuss how to handle the issues of concurrency and nondeterminism, and we will examine in detail the formalism of Petri nets, which, suitably extended, we will then use for CC languages. In our semantics for CC programs, the meaning of a program is in fact a net where the concurrency present in all computations, as well as the nondeterminism, can be naturally seen. We will also point out several extension of the basic semantics, that can be used for more complex classes of CC languages, like those with atomic tells, or with two kinds of nondeterminism.
摘要译文
本文的目的是提供基本概念和可能的替代方案，这些概念和任务的基础是为并发系统/语言提供语义，并描述一种特定的方法，为了给语义类赋予语义CC语言。特别是，我们将讨论如何处理并发和非确定性问题，并且我们将详细研究Petri网的形式，然后适当扩展它们，然后用于CC语言。在我们的CC程序的语义中，程序的含义实际上是一个网络，所有计算中的并发性以及非确定性都可以自然地看到。我们还将指出基本语义的几个扩展，它们可以用于更复杂的CC语言类，比如具有原子语言的类，或者具有两种不确定性。
Ugo Montanari1;Francesca Rossi1. Concurrency and Concurrent Constraint Programming. Constraint Programming: Basics and Trends[M].DE: Springer;LNCS, 1995: 171-192