Robrecht Haesevoets, Danny Weyns, Mário Henrique Cruz Torres, Alexander Helleboogh, Tom Holvoet, Wouter Joosen. A Middleware Model in Alloy for Supply Chain-Wide Agent Interactions. In Danny Weyns, Marie Pierre Gleizes, editors, Agent-Oriented Software Engineering XI - 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Volume 6788 of Lecture Notes in Computer Science, pages 189-204, Springer, 2010. [doi]
Abstract is missing.