Font Size:
a
A
A
Keyword [process algebra]
Result: 21 - 40 | Page: 2 of 4
21.
Event-based Structural Operational Semantics Of Verilog
22.
The Verification Of Symbolic Bisimulations In Asymmetric X～≠-Calculus
23.
Research On Model Checking Of Concurrent System Based On Partial-order Reduction
24.
Research On Network Service Modelling-The SIP Modelling
25.
Research On Security Protocol Analysis Technique Based On Extended CSP Model
26.
Research On A Formal Model Of Web Services
27.
Towards Automatic Measurement Of Probabilistic Processes
28.
On Testing Equivalences For Asymmetric And Asynchronous Asymmetric χ-calculus
29.
Research On Modeling Of Workflow Development Platform Based On XML
30.
Models And Formalization Of Concurrent Real-time Systems
31.
A Preliminary Study For Event Structure Of Concurrency System
32.
Weak Bisimulation Properties Of A Higher-Order Process Algebra
33.
Research On Behavioral Consistency Of Component Dynamic Evolution
34.
Design And Implementation Of Multiaccess Procotol Model Base On The Process Algebra
35.
Extension Of Mobile Ambients And Its Implementation For The Lexical Analysis Program
36.
Research On Process Calculus With Distance-Limited Communication
37.
A Pi-Calculus For Web Service Composition
38.
An Encoding From λ-Calculus To π-Calculus
39.
Modeling Service-Oriented Architecture Based On Process Algebra
40.
Modeling Service-oriented Architecture Based On Process Algebra
<<First
<Prev
Next>
Last>>
Jump to
