Litmus: RIA
A Reflective Middleware Framework for Communication in Dynamic Environments Sebastian Gutierrez-Nolasco and Nalini Venkatasubramanian University of California,
faculteit technologie management Steps Towards Formal Verification of Agent-based E-Business Applications Nick Szirbik & Gerd Wagner Eindhoven University.
Framing Questions