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 ?
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.
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.