![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
10th REBLS@SPLASH 2023: Cascais, Portugal
- Manuel Serrano:
Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2023, Cascais, Portugal, 23 October 2023. ACM 2023 - Kevin Baldor, Xiaoyin Wang, Jianwei Niu:
Thorium: A Language for Bounded Verification of Dynamic Reactive Objects. 1-13 - Phillip Wenig, Thorsten Papenbrock:
Actix-Telepathy. 14-24 - Daichi Hidaka, Tetsuo Kamina:
Realizing Persistent Signals in JavaScript. 25-30 - Alfred Åkesson, Görel Hedin, Niklas Fors:
ComPOS: A DSL for Composing IoT Systems with Weak Connectivity. 31-42 - Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, Takuo Watanabe
:
Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems. 43-53
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.