A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
A key issue for distributed problem solving (DPS) systems is coordination of the agent's actions, and methods for producing effective coordination strategies remain an active area of research. Because there are not yet approaches that can automatically produce such strategies, some human engineering is often still necessary. As a result, there is a need for a formal tool to support such human engineering. In a previous work (Khorasani et al., 2009) , we investigated the use of pi-calculus as adoi:10.1504/ijiids.2012.045847 fatcat:dyr6mcgugbhzlby7e7ulkkwfvy