𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Weak models of distributed computing, with connections to modal logic

✍ Scribed by Hella, Lauri; Järvisalo, Matti; Kuusisto, Antti; Laurinharju, Juhana; Lempiäinen, Tuomo; Luosto, Kerkko; Suomela, Jukka; Virtema, Jonni

Book ID
125347908
Publisher
Springer-Verlag
Year
2014
Tongue
English
Weight
765 KB
Volume
28
Category
Article
ISSN
0178-2770

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A polynomial space construction of tree-
A polynomial space construction of tree-like models for logics with local chains of modal connectives
✍ Stéphane Demri 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 360 KB

The LA-logics ("logics with Local Agreement") are polymodal logics deÿned semantically such that at any world of a model, the sets of successors for the di erent accessibility relations can be linearly ordered and the accessibility relations are equivalence relations. In a previous work, we have sho

Maximum capacity of distributed generato
Maximum capacity of distributed generators connected to a distribution system with a step voltage regulator, as determined with an electric power density model
✍ Yoshiyuki Kubota; Takamu Genji 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 818 KB

## Abstract In a distribution system containing a step voltage regulator (SVR), the maximum capacity of distributed generators (DGs) is calculated for DGs completely dispersed on a distribution line. The maximum capacity of the DGs is calculated under the constraint of an upper or lower voltage reg