The paper "Simplifying process parameters by unfolding algebraic data types" by Anna Stramaglia, Thomas Neele and yt will be presented at #ictac2023

We describe how algebraic data types can be unfolded to improve the performance of symbolic #modelchecking in #mCRL2.

Abstract: https://easychair.org/smart-program/ICTAC2023/2023-12-08.html#talk:239997