"SYNTHESIZING SAFETY CONTROLLERS
FOR INTERACTIVE WEB SERVICES"

We show how to use high-level synchronization constraints, written in a version of monadic second-order logic on strings, to synthesize safety controllers for interactive web services. On top of this, we introduce a syntactic level macro language that permits the language to be transparently extended with new constructs. These new constructs will appear as if they were an inherent part of the original language. Together, the macros and constraints, provide a means for extending the original language with sophisticated high-level concurrency abstractions.