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