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.
