| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422257 | Electronic Notes in Theoretical Computer Science | 2008 | 7 Pages |
Abstract
We describe a distributed partial order reduction algorithm for security protocols. Some experimental results using an implementation of the algorithm in the distributed μCRL toolset are also reported.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
