Font Size:
a
A
A
Keyword [Pi-calculus]
Result: 21 - 40 | Page: 2 of 5
21.
Study On Verification Method For Web Service Compositional Compatibility Based On Pi-Calculus
22.
Research On Government Business Process Analysis Oriented Role Network Model
23.
Analysis And Verification Of The SOAP Security Based On Pi Calculus
24.
Finite Axiomatization For Symbolic Probabilistic Pi-Calculus
25.
Research On Petri Nets Semantics Translation For Finite Pi Calculus
26.
Research On Description And Verification Of Traffic Web Services Based On Pi-Calculus
27.
Research On The Transformation From BPMN To WS-CDL
28.
Formal Description And Verification Of Mobility Management In Mobile Communication
29.
Research On The Modeling Method Of Workflow And Its Model Verification Mdthoe
30.
Conversion And Verification Of PI Calculus With Compositional Petri Net
31.
Research And Realization: A Software Model To Support Business Process Variability
32.
Formal Description Of Ontology Evolution Based Extend-PI Calculus
33.
Research Of Automatic Composition Based On Formalization For Semantic Web Service
34.
A Pi-Calculus For Web Service Composition
35.
An Ontology Model Based On SetPi-calculus
36.
Study On Formalization Of Ontology Evolution With Pi Calculus
37.
A Model Based On The Key Actions Of Index π-Calculus And Research On Translation Of Index π-Net
38.
Formal Modeling And Research Of The 3G Mobile Communication Service Based On Pi-calculus
39.
Using Pi-calculus To Formalize Grid Workflow And Verify Process Soundness
40.
Modeling Service-Oriented Architecture Based On Process Algebra
<<First
<Prev
Next>
Last>>
Jump to
