This book presents a novel business process management methodology that focuses on process act...

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organi...

This book grew out of material which was taught at the International Summer School on Architectur...

This book uses a variety of applications to illustrate a modeling method that helps practitioners...

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer S...

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract Sta...

Endlich liegt der ,,Klassiker' der Theoretischen Informatik, der Studenten und Forschern ein unen...

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from...

The workshop Computer Science Logic '90 was held at theMax-Planck-Haus inHeidelberg, Germany, O...