Since 2014
Distributed Safety Controllers for Web Services
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Distributed Safety Controllers for Web Services
|
|
| Creator |
Sandholm, Anders B.
Schwartzbach, Michael I. |
|
| Description |
We show how to use high-level synchronization constraints, writtenin 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.
|
|
| Publisher |
Aarhus University
|
|
| Date |
1997-06-17
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/19268
10.7146/brics.v4i47.19268 |
|
| Source |
BRICS Report Series; No 47 (1997): RS-47 Distributed Safety Controllers for Web Services
BRICS Report Series; Nr. 47 (1997): RS-47 Distributed Safety Controllers for Web Services 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/19268/16895
|
|
| Rights |
Copyright (c) 2014 BRICS Report Series
|
|