Multiset Rewriting Presentations
15 dezembro 2016, 11:00 • Pedro Adão
Presentation by Diogo Barradas of the paper `Multiset rewriting and the complexity of bounded security protocols`. Part II. (Complexity results)
Discussion.
15 dezembro 2016, 11:00 • Pedro Adão
Presentation by Diogo Barradas of the paper `Multiset rewriting and the complexity of bounded security protocols`. Part II. (Complexity results)
Discussion.