Two Operations for Stable Structures of Elementary Regions. - Federica Adobbati; Carlo Ferigato; Stefano Gandelli; Adrián Puerto Aubel (ATAED@Petri Nets/ACSD, 2019)

Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. - Federica Adobbati; Carlo Ferigato; Stefano Gandelli; Adrián Puerto Aubel (Trans. Petri Nets Other Model. Concurr., 2021)