7 search results - page 2 / 2 » Simulation and Bisimulation over One-Counter Processes |
LICS
2012
IEEE
11 years 8 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
QEST
2007
IEEE
14 years 14 days ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...