Volume 12: Formal Modeling of Adaptive and Mobile Processes

Table of Contents

Preface

Preface PDF
Julia Padberg, Kathrin Hoffmann

Articles

Analysis of Mobile Agents using Invariants of Object Nets PDF
Michael Köhler-Bußmeier, Daniel Moldt
Layered Architecture Consistency for MANETs: Introducing New Team Members PDF
Julia Padberg, Enrico Biermann, Kathrin Hoffmann
Using Resources as Synchronizers to Manage Mobile Process Adaptation PDF
Paolo Bottoni, Fabio De Rosa, Massimo Mecella
On a General Notion of Transformation for Multiagent Systems and its Implementation PDF
Jochen Pfalzgraf, Thomas Soboll
On the Modelling of an Agent's Epistemic State and its Dynamic Changes PDF
Christoph Beierle, Gabriele Kern-Isberner
Flexible Modeling of Emergency Scenarios using Reconfigurable Systems PDF
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg


ISSN: 1863-2122