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 Calculi
Famous quotes containing the words relationship to, relationship and/or models:
“... the Wall became a magnet for citizens of every generation, class, race, and relationship to the war perhaps because it is the only great public monument that allows the anesthetized holes in the heart to fill with a truly national grief.”
—Adrienne Rich (b. 1929)
“Only men of moral and mental force, of a patriotic regard for the relationship of the two races, can be of real service as ministers in the South. Less theology and more of human brotherhood, less declamation and more common sense and love for truth, must be the qualifications of the new ministry that shall yet save the race from the evils of false teaching.”
—Fannie Barrier Williams (1855–1944)
“... your problem is your role models were models.”
—Jane Wagner (b. 1935)