22 citations · 96 across the 27 of their papers we have counts for
1 paper · 1 filter
Anna Schmitt, Kirstin Peters
Encodings are the main way to compare process calculi. By applying quality criteria to encodings we analyse their quality and rule out trivial or meaningless encodings. Thereby, op…