pi-calculus


Also found in: Wikipedia.

pi-calculus

(theory)
A process algebra in which channel names can act both as transmission medium and as transmitted data. Its basic atomic actions are individual point to point communications which are nondeterministically selected and globally sequentialised.

Mentioned in ?
References in periodicals archive ?
Boudol, G., Asynchrony and the pi-calculus. (1992).
Linearity, persistence and testing semantics in the asynchronous pi-calculus. Electr.
Design and implementation of a tool for translating sbml into the biochemical stochastic pi-calculus. Bioinformatics 22 (24), 3075-3081.
Section 5 presents collaborative approaches in business process management in information retrieval, concentrating on these methods: Petri-net for analysis of business process modeling methods, pi-calculus for advanced branching, rule based approaches for process modeling, and WS-CDL.
Jones (1993) A pi-calculus Semantics for an Object-Based Design Notation, Proc.
The theoretical foundation of BPMI's work partly relies on pi-Calculus whose conceptual father is the well-known computer scientist Robin Milner.
A long line of formal systems, from Hewitt's Actors [Agha 1986; Hewitt 1977] to modern process calculi like Milner, Parrow, and Walker's pi-calculus [Milner 1991; Milner et al.
The small set of message-passing primitives used by the pi-calculus makes it attractive both as an object of theoretical study and as a basis for language design and implementation.
Most of this material is derived from the earlier presentations of the spi calculus; it includes ideas common in the pi-calculus literature.
(In the terminology of the pi-calculus literature, the calculus defined in this section is synchronous because [bar]M<[N.sub.1], ..., [N.sub.k]).P triggers P after communication.
Linearity and the pi-calculus. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages.
Behavioral equivalence in the polymorphic pi-calculus. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages.