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.
