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.