Bottoni, Paolo
-
Volume 4: Graph and Model Transformation 2006 - Articles
Termination of Algebraic Rewriting with Inhibitors
Abstract PDF -
Volume 10: Graph Transformation and Visual Modeling Techniques 2008 - Articles
Composing control flow and formula rules for computing on grids
Abstract PDF -
Volume 12: Formal Modeling of Adaptive and Mobile Processes - Articles
Using Resources as Synchronizers to Manage Mobile Process Adaptation
Abstract PDF -
Volume 25: Visual Formalisms for Patterns 2009 - Preface
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09
Details PDF -
Volume 31: Visual Formalisms for Patterns 2010 - Preface
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10
Details PDF
Hosted By Universitätsbibliothek TU Berlin.