Font Size: a A A
Keyword [Pi-calculus]
Result: 41 - 60 | Page: 3 of 5
41. Formal Analysis And Verification Of A Transaction Coordination Protocol Named WS-TX For Web Services
42. Formal Analysis And Verification Of A Transaction Coordination Protocol Named Ws-tx For Web Services
43. The Design And Implementation Of Crm System Based Pi Calculus
44. Modeling Service-oriented Architecture Based On Process Algebra
45. Pi - Calculus Research And Implementation Of Interactive Verification Tool
46. Concurrent Object Calculus Model And The Object Language Semantics
47. Ws-bpel Modeling Based On The ¦Đ-calculus And Implementation
48. The Nature Of The Inspection Of Web Service Composition And Realization
49. Describing And Verifying Web Service Using Pi-Calculus
50. On The Expressiveness Of Higher Order Ď€-Calculus In A Model Independent Framework
51. Automated Verification Of Remote Internet Voting Protocols In Applied Pi Calculus
52. Research On Ontology-based Automated Trust Negotiation And Its Security
53. On The Bisimualtion Theory, Expressiveness And Proof System Of Some Name-passing Calculi
54. Model Verification Of Service-oriented Multi-participants Coordination
55. Research On BufferPetri Net Semantic Translation For A New-type Pi Calculus
56. Representation And Verification Of Ontology Evolution
57. The Study Of The Automated Verification Of The Polyadic Pi-calculus’s Bisimulation
58. A Deadlock Detection Method For Cross-organizational Business Process
59. Design And Development Of College Student Information Management System Based On Workflow Technology
60. Research On Combination Method Of Collaborative Simulation Model Of Underwater Vehicle
  <<First  <Prev  Next>  Last>>  Jump to