1. Graphical models for preference and utility;Bacchus,1995
2. Process Algebra;Baeten,1990
3. Handbook of Process Algebra,2001
4. Automated test scenarios generation for an e-barter system;Cavalli,2004
5. The WALRAS algorithm: A convergent distributed implementation of general equilibrium outcomes;Cheng;Computational Economics,1998