Distributed Safety Controllers for Web Services | Zendy

Anders B. Sandholm | Zendy; Michael I. Schwartzbach | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Distributed Safety Controllers for Web Services

Author(s) -

Anders B. Sandholm,

Michael I. Schwartzbach

Publication year - 1997

Publication title -

brics report series

Language(s) - English

Resource type - Journals

eISSN - 1601-5355

pISSN - 0909-0878

DOI - 10.7146/brics.v4i47.19268

Subject(s) - computer science , synchronization (alternating current) , distributed computing , control flow , web service , state space , state (computer science) , temporal logic , flow (mathematics) , programming language , theoretical computer science , mathematics , computer network , channel (broadcasting) , statistics , geometry

We show how to use high-level synchronization constraints, written in a version of monadic second-order logic on finite strings, to synthesize safety controllers for interactive web services. We improve on the naïve runtime model to avoid state-space explosions and to increase the flow capacities of services.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research