3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
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…