Font Size:
a
A
A
Keyword [bisimilarity]
Result: 1 - 10 | Page: 1 of 1
1.
The Petri Net Based On The π-calculus And The Formal Analysis For Cryptographic Protocols
2.
Research On Behavioural Approximate Equivalence Of Transition System
3.
On Similarity Between Preferential Structures
4.
Behavioral Congruences For Wide Reactive Systems
5.
A Model Based On The Key Actions Of Index π-Calculus And Research On Translation Of Index π-Net
6.
Design And Implementation Of Algorithms For Checking Bisimilarity
7.
Research On BufferPetri Net Semantic Translation For A New-type Pi Calculus
8.
Branching Finiteness And Regularity Problems Of Process Rewrite Systems
9.
Branching Bisimilarity Checking On Infinite State Systems
10.
Equivalence Checking For Basic Process Algebra
<<First
<Prev Next>
Last>>
Jump to
