Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio. A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. In Herwig Unger, Thomas Böhme, Armin R. Mikler, editors, Innovative Internet Computing Systems, Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings. Volume 2346 of Lecture Notes in Computer Science, pages 217-228, Springer, 2002. [doi]
Abstract is missing.