A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras | Publicación