J. J. M. M. Rutten;J. I. Zucker
-;-
Analysis of the SET e-commerce protocol using a true concurrency process algebra
Proceedings of the 2006 ACM symposium on Applied computing
Fairness And Priority
Fundamenta Informaticae