Ausgabe 2/2021
Inhalt (5 Artikel)
Original Article
On the Interactive Power of Higher-order Processes Extended with Parameterization
Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long
Original Article
A process calculus BigrTiMo of mobile systems and its formal semantics
Wanling Xie, Huibiao Zhu, Qiwen Xu
Original Article
Model-based Safety Assessment of a Triple Modular Generator with xSAP
Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei