No. Title Author Year
1 Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous Guillou, Lucie et al. 2023
2 Local First-Order Logic with Two Data Values Bollig, Benedikt et al. 2021
3 Reachability in Distributed Memory Automata Bollig, Benedikt et al. 2021
4 Deciding the Existence of Cut-Off in Parameterized Rendez-Vous Networks Horn, Florian et al. 2020
5 Model-Checking Counting Temporal Logics on Flat Structures Decker, Normann et al. 2017
6 The Complexity of Flat Freeze LTL Bollig, Benedikt et al. 2017
7 Reachability in Networks of Register Protocols under Stochastic Schedulers Bouyer, Patricia et al. 2016
8 Distributed Local Strategies in Broadcast Networks Bertrand, Nathalie et al. 2015
9 On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks Delzanno, Giorgio et al. 2012
10 On the Decidability Status of Reachability and Coverability in Graph Transformation Systems Bertrand, Nathalie et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 10

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI