1. Scalable reaction network modeling with automatic validation of consistency in Event-B;Scientific Reports;2022-01-25
2. Event Structure Semantics for Multiparty Sessions;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
3. On hierarchically developing reactive systems;Information and Computation;2010-09
4. Truly concurrent constraint programming;Theoretical Computer Science;2002-05
5. Symbolic exploration of transition hierarchies;Tools and Algorithms for the Construction and Analysis of Systems;1998