A comparison between strand spaces and multiset rewriting for security protocol analysis
Journal of Computer Security
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Hi-index | 0.00 |