Vol. 12 (2008): Formal Modeling of Adaptive and Mobile Processes