![](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
Science of Computer Programming, Volume 160
Volume 160, August 2018
- Mehdi Dastani, Hossein Hojjat, Marjan Sirjani:
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015). 1-2 - Marco Autili
, Paola Inverardi, Massimo Tivoli:
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates. 3-29 - Razieh Behjati, Shiva Nejati
:
Architecture-level configuration of industrial control systems: Foundations for an efficient approach. 30-47 - Sung-Shik T. Q. Jongmans, Farhad Arbab:
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata. 48-77 - Astrid Kiehn, Deepanker Aggarwal:
A study of mutable checkpointing and related algorithms. 78-92 - Reza Hajisheykhi
, Ali Ebnenasir, Sandeep S. Kulkarni:
A theory of integrating tamper evidence with stabilization. 93-114
![](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.