Electronic Communications of the EASST
Table of Contents
Preface
|
Preface
Paolo Baldan, Barbara König
|
|
Articles
|
Implementing Petri Net Transformations using Graph Transformation Tools
Enrico Biermann, Claudia Ermel, Tony Modica, Peggy Sylopp
|
|
|
Debugging Distributed Systems with Causal Nets
Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
|
|
|
Negative Application Conditions for Reconfigurable Algebraic High-Level Systems
Alexander Rein
|
|
|
Reconfigurable Open Algebraic High-Level Systems
Conny Ullrich, Julia Padberg
|
|