Font Size:
a
A
A
Keyword [bisimulation]
Result: 1 - 20 | Page: 1 of 3
1.
Study Of Real-time Value-passing And Real-time Mobile Systems
2.
Security System Verification Based On Information Flow Analysis
3.
Equivalence Computing On Stochastic Processes Algebra
4.
Study On Algebra Methods For Cryptographic Protocol Verification
5.
On The Bisimulation Theory And Axiomatization Of Higher-order Process Calculi
6.
Study On CPN In Model The Mobile Communication Service Based On PI-calculus And Its Applications
7.
On The Semantics And Expressiveness Of Ambient Calculi
8.
The Approximate Correctness Of Software And The Measure Model Of Interaction Between Software And Environment
9.
Study On Hybrid Systems Robust Synthesis Based On Symbolic Mode
10.
Lattice-valued Quantitative Verification Of State Transition Systems
11.
Some Results On Games For Bisimulation And Modal μ-calculus
12.
An Extended Symbolic Model For Concurrent Value-passing Processes
13.
Coalgebraic Theory And Its Applications On Formal Methods For Object-Oriented System
14.
Research On λ-bisimulation
15.
Bisimulation Equivalence Verification In Security Protocols
16.
The Verification Of Symbolic Bisimulations In Asymmetric X～≠-Calculus
17.
On Web Services Transaction Based On Extended π Calculus
18.
Research On A Formal Model Of Web Services
19.
Formal Description And Verification Of 2PCP Based On Asynchronous π-calculus
20.
The Research Of Modeling In Model Checking Java Program
<<First
<Prev
Next>
Last>>
Jump to
