Font Size: a A A
Keyword [Ï€Calculus]
Result: 21 - 40 | Page: 2 of 3
21. Compensation Model For Web Services Transaction Based On Ï€-Calculus
22. An Encoding From λ-Calculus To Ï€-Calculus
23. Study Of Computational Theory On Complete Interactive Model
24. A Model Based On The Key Actions Of Index Ï€-Calculus And Research On Translation Of Index Ï€-Net
25. Research On Dynamic Adjustment Of Software For Adaptive Architecture
26. Research On Software Self-Adaptive Method Based On Architecture
27. Research On Software Self-adaptive Method Based On Architecture
28. Pi - Calculus Research And Implementation Of Interactive Verification Tool
29. Study Of Real-time Distributed Software Modeling Techniques
30. Mwb The Bpel-based ¦Ð-calculus, Automatic Conversion Tools
31. Modeling And Verification Of Web Service Composition Based On The ¦Ð-calculus
32. On The Expressiveness Of Higher Order Ï€-Calculus In A Model Independent Framework
33. Research On Modeling Method Of Cross-organizational Business Process In Cloud Computing Environment
34. Research Of UML Dynamic Semantics Based On ASM And Ï€-calculus
35. Research On An Improved FMIPV6Handover Scheme Based On Information Learning And Proxy Binding
36. Research And Design Of Assessment Method Of Behavior In Simulation Environment
37. Research Of Web Service Modeling And Phenomenon Of Deadlock Based On Ï€ Calculus
38. The Bufered Ï€-Calculus And Its Application
39. Research On Translation From Recursion Ï€-calculus To Petri Net
40. The Research On Construction Of User’s Requirement-oriented Personalized Process
  <<First  <Prev  Next>  Last>>  Jump to