1. On the group memory complexity of extended finite automata over groups;Arroyo;J. Log. Algebraic Methods Program.,2020
2. Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations;Corradini;J. Log. Algebraic Methods Program.,2021
3. Conflict vs causality in event structures;Gorla;J. Log. Algebraic Methods Program.,2021
4. On checking equivalence of simulation scripts;Mancini;J. Log. Algebraic Methods Program.,2021
5. Replacement freeness: a criterion for separating process calculi;Pugliese;J. Log. Algebraic Methods Program.,2020