Analysis of the SET e-commerce protocol using a true concurrency process algebra
Proceedings of the 2006 ACM symposium on Applied computing
Process Algebras for Network Communication
Fundamenta Informaticae
Process Algebras for Network Communication
Fundamenta Informaticae
Hi-index | 0.00 |