Data videos are becoming increasingly popular in society and academia. Y...
We revisit the standard bisimulation equalities in process models free o...
Data videos are an increasingly popular storytelling form. The opening o...
Higher-order processes with parameterization are capable of abstraction ...
Levy-Longo Trees and Bohm Trees are the best known tree structures on th...