Sjouke Mauw

Trust Management X

2016

Semantics And Verification Of Security Protocols

2013

CONCUR'99. Concurrency Theory

CONCUR'99. Concurrency Theory

2003

CONCOUR9 9, concurrency theory

1999