276 search results - page 24 / 56 » Bisimulation for quantum processes |
109
click to vote
AAAI
2010
15 years 4 months ago
2010
Knowledge transfer has been suggested as a useful approach for solving large Markov Decision Processes. The main idea is to compute a decision-making policy in one environment and...
127
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We investigate the possibility of (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basi...
146
click to vote
MFCS
1991
Springer
15 years 6 months ago
1991
Springer
Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still w...
133
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
118
click to vote
ENTCS
2007
15 years 3 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...