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 ?
Linearity, persistence and testing semantics in the asynchronous pi-calculus.
Design and implementation of a tool for translating sbml into the biochemical stochastic pi-calculus.
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.
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.
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.
An arcane branch of mathematics, Pi-calculus, is set to revolutionize business.
Pi-calculus provides the solid theoretical computer science foundation for a new breed of business software --the Business Process Management System-- that radically simplifies how business people, not just technicians, can design, implement, adapt and optimize their business processes.
Behavioral equivalence in the polymorphic pi-calculus.