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.