Font Size: a A A
Keyword [Process calculus]
Result: 1 - 20 | Page: 1 of 2
1. Research On The LLTS-oriented Process Calculus CLL_R
2. On The Bisimulation Theory And Axiomatization Of Higher-order Process Calculi
3. Research On Formal Methods For Cryptographic Protocols Analysis
4. On The Semantics And Expressiveness Of Ambient Calculi
5. The Approximate Correctness Of Software And The Measure Model Of Interaction Between Software And Environment
6. Model Independent Theory Of Mobile Calculi
7. Formal Modeling And Simulation Of Biological Process
8. On The Comparative Semantics In Process Calculi
9. Formal Analysis Of Security Protocols Based On SPI Calculus
10. Research On Process Calculus With Distance-Limited Communication
11. Research On Automatic Security Proof Approach Of Public-key Cryptographic Schemes Based On Process Calculus
12. Design And Implementation Of Description Model For Provable Security Automatic Analyse Of Public-key Cryptographic Schemes
13. Research On Automatically Formal Analysis For Security Protocols Based On Probabilistic Polynomial-time Process Calculus
14. Process Calculi For Mobile AD Hoc Networks From A Group Perspective
15. Process Calculus With Data Structure And Its Model Checking Algorithm
16. Study On Formal Verification Of Security Protocol
17. Cloud Manufacturing Services Composition Formal Modeling And Verification Based On Process Calculus
18. Process Calculus BigrTiMo Of Mobile Distributed Systems And Its Formal Semantics
19. A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
20. An instruction-set process calculus for synchronous hardware composition
  <<First  <Prev  Next>  Last>>  Jump to