Font Size:
a
A
A
Keyword [πCalculus]
Result: 1 - 20 | Page: 1 of 3
1.
Modeling, Verification And Testing With The Extended π-calculus
2.
Research On Software Architectural Formalism Based On π Calculus
3.
Business Process Organizational Collaboration Through π-calculus Technology
4.
Research On Architecture-Based Software Dynamic Evolution
5.
The Petri Net Based On The π-calculus And The Formal Analysis For Cryptographic Protocols
6.
Research On Heterogonous Components Interoperability Technique
7.
On The Bisimulation Theory And Axiomatization Of Higher-order Process Calculi
8.
Research On The Theory And Application Of The State π Calculus Based Formal Verification For Grid Service Flows
9.
The Expressiveness Of π-Calculus Via Programming
10.
Research On Mobile Agent Computing Model And Its Application In Distributed Parallel Computing
11.
Research On The Formalization Of SoftWare Architecture Model
12.
Property Checking Of BPEL4WS Based On π-calculus
13.
Research On Group Buying In Agent-mediated Electronic Marketplace
14.
On Web Services Transaction Based On Extended π Calculus
15.
Research For Formalizing Workflow Model
16.
Research And Implementation Of Web Services Transaction
17.
Formal Modeling And Simulation Of Biological Process
18.
Formal Description And Verification Of 2PCP Based On Asynchronous π-calculus
19.
On Testing Equivalences For Asymmetric And Asynchronous Asymmetric χ-calculus
20.
On The Comparative Semantics In Process Calculi
<<First
<Prev
Next>
Last>>
Jump to
