3 citations · 3 across the 1 of their papers we have counts for
1 paper
Bela Genge, Piroska Haller, Ovidiu Ratoi +1
In the context of security protocol parallel composition, where messages belonging to different protocols can intersect each other, we introduce a new paradigm: term-based composit…