Pi+-Calculus: A Calculus for Concurrent Processes with Constraints
Pi+-Calculus: A Calculus for Concurrent Processes with Constraints is a scholarly work, published in 1998 in ''CLEI Electronic Journal''. The main subjects of the publication include program analysis, agent-based model, mathematics, calculus, algebra over a field, bisimulation, Situation calculus, logic programming, constraint, weak equivalence, π-calculus, and computer science. The paper discusses examples of the extended calculus showing the transparent interaction of constraints and communicating processes. .