Title: Introduction to Well Structured Transition Systems (WSTS)
Presented By: Professor Alain Finkel, ENS de Cachan
Abstract:
We present the concepts, the story, some WSTS models, some applications to different questions and the main decidability results on WSTS.