Font Size:
a
A
A
Keyword [bisimulation]
Result: 21 - 40 | Page: 2 of 3
21.
Weak Bisimulation Properties Of A Higher-Order Process Algebra
22.
Research On Behavioral Theory For Mobile Ambients
23.
Finite Axiomatization For Symbolic Probabilistic Pi-Calculus
24.
On The Comparative Semantics In Process Calculi
25.
Decidability And Complexity Of Process Verication
26.
Formal Analysis Of Security Protocols Based On SPI Calculus
27.
Research On Process Calculus With Distance-Limited Communication
28.
Research On Library Functions By Mobile Processes
29.
Software Tool-Chain For The Design And Analysis Of Hybrid Embedded Systems
30.
Time Input / Output Automata, Conformance Testing
31.
Based On The Number Of New Models Of Timed Automata
32.
Grid Value Minimize Tree Automata
33.
On The Expressiveness Of Higher Order π-Calculus In A Model Independent Framework
34.
Design And Implementation Of Algorithms For Checking Bisimilarity
35.
Process Calculi For Mobile AD Hoc Networks From A Group Perspective
36.
Computation Tree Logic And Kripke Structure Decision Processes Based On Possibility Measure
37.
On The Bisimualtion Theory, Expressiveness And Proof System Of Some Name-passing Calculi
38.
The Study Of The Automated Verification Of The Polyadic Pi-calculus’s Bisimulation
39.
Research On Translation From Recursion π-calculus To Petri Net
40.
Mutual Simulation Tree Logic And Probability Measure Based On Probability
<<First
<Prev
Next>
Last>>
Jump to
