![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 903
Volume 903, February 2022
- Xiong Xu
, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan
:
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. 1-25 - Petr Jancar
:
Bisimilarity on Basic Parallel Processes. 26-38 - Zhao Jin, Bowen Zhang, Lei Zhang, Yongzhi Cao
, Hanpin Wang:
An adaptation-complete proof system for local reasoning about cloud storage systems. 39-73 - Eike Neumann:
On the computability of the set of automorphisms of the unit square. 74-83 - Fabio Gadducci
, Hernán C. Melgratti, Christian Roldán, Matteo Sammartino:
Categorical specification and implementation of Replicated Data Types. 84-112 - Miroslav Stankovic
, Ezio Bartocci
, Laura Kovács:
Moment-based analysis of Bayesian network properties. 113-133 - Murray Elder, Adam Piggott
:
Rewriting systems, plain groups, and geodetic graphs. 134-144
![](https://dblp.uni-trier.de/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.