Process Calculus - Relationship To Other Models of Concurrency

Relationship To Other Models of Concurrency

The history monoid is the free object that is generically able to represent the histories of individual communicating processes. A process calculus is then a formal language imposed on a history monoid in a consistent fashion. That is, a history monoid can only record a sequence of events, with synchronization, but does not specify the allowed state transitions. Thus, a process calculus is to a history monoid what a formal language is to a free monoid (a formal language is a subset of the set of all possible finite-length strings of an alphabet generated by the Kleene star).

The use of channels for communication is one of the features distinguishing the process calculi from other models of concurrency, such as Petri nets and the Actor model (see Actor model and process calculi). One of the fundamental motivations for including channels in the process calculi was to enable certain algebraic techniques, thereby making it easier to reason about processes algebraically.

Read more about this topic:  Process Calculus

Famous quotes containing the words relationship to, relationship and/or models:

    Film music should have the same relationship to the film drama that somebody’s piano playing in my living room has to the book I am reading.
    Igor Stravinsky (1882–1971)

    When any relationship is characterized by difference, particularly a disparity in power, there remains a tendency to model it on the parent-child-relationship. Even protectiveness and benevolence toward the poor, toward minorities, and especially toward women have involved equating them with children.
    Mary Catherine Bateson (20th century)

    Today it is not the classroom nor the classics which are the repositories of models of eloquence, but the ad agencies.
    Marshall McLuhan (1911–1980)