276 search results - page 15 / 56 » Bisimulation for quantum processes |
153
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
155
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
193
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
142
click to vote
APLAS
2009
ACM
15 years 12 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
147
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...