One-counter nets (OCN) are Petri nets with exactly one unbounded place. They are equiv-alent to a subclass of one-counter automata with only a weak test for zero. We show that weak simulation preorder is decidable for OCN and that weak simulation approximants do not converge at level ω, but only

productivity, while under weak assumptions, search models predict that the vacancy-unemployment ratio and labor productivity have nearly the same variance. I establish this claim both using analytical comparative statics in a very general deterministic search model and using simulations of a stochastic version

This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced from internal steps in process behaviours. In particular, the article focuses on the (pre)congruences associated with the weak simulation, the weak complete simulation

in an untimed version of the Timed Probabilistic concurrent Computation Tree Logic (TPCTL) of Hansson. The definitions are made, and the evaluations carried out, in terms of a general labeled transition system model for concurrent probabilistic computation. The results cover weak simulations, which abstract

warming is seen throughout the tropical troposphere (�0.2°C between 700 and 150 mb), significant in northern spring and summer. However, the simulation results show very little statistically significant response beyond the Tropics. There are no significant differences in any hydroclimatic variables (e

This paper provides a simulated moments estimator (SME) of the parameters of dynamic models in which the state vector follows a time-homogeneous Markov process. Conditions are provided for both weak and strong consistency as well as asymptotic normality. Various tradeoffs among the regularity

Abstract not found

analysis for states representing deadline miss conditions. To mitigate the problem of state space explosion, we propose a partial order relationship over the symbolic states of the model and we prove that this is a weak simulation relation. We then present an implemen-tation of the analysis in a software

this paper "ergodic" is used in a very weak sense, as it is not proposed, theoretically or practically, that all states of the system are actually to be visited

. There is no significant additional emittance growth in the LHC after one million turns where the time-averaged offset is zero. Using the strong-weak model, we have also studied the antiproton lifetime subject to 72 long range beam-beam interactions at 150 GeV injection energy in the Tevatron. The simulation shows a