Transition systems and concurrent processes
André Arnold (1988)
Banach Center Publications
Similarity:
André Arnold (1988)
Banach Center Publications
Similarity:
Jan M. Swart (2011)
Kybernetika
Similarity:
It has been known for a long time that for birth-and-death processes started in zero the first passage time of a given level is distributed as a sum of independent exponentially distributed random variables, the parameters of which are the negatives of the eigenvalues of the stopped process. Recently, Diaconis and Miclo have given a probabilistic proof of this fact by constructing a coupling between a general birth-and-death process and a process whose birth rates are the negatives of...
Gerald Lüttgen, Walter Vogler (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
More than a decade ago, Moller and Tofts published their seminal work on relating processes, which are annotated with lower time bounds, with respect to speed. Their paper has left open many questions regarding the semantic theory for the suggested bisimulation-based faster-than preorder, the MT-preorder, which have not been addressed since. The encountered difficulties concern a general compositionality result, a complete axiom system for finite processes, a convincing intuitive...
Cocozza-Thivent, Christiane, Kalashnikov, Vladimir (1996)
Journal of Applied Mathematics and Stochastic Analysis
Similarity:
K. Arndt, P. Franken (1979)
Applicationes Mathematicae
Similarity:
M. M. Sysło (1974)
Applicationes Mathematicae
Similarity:
Kunze, M., Monteiro Marques, Manuel D.P. (1997)
Journal of Convex Analysis
Similarity:
Miguel González, Manuel Molina (1992)
Extracta Mathematicae
Similarity:
I. Kopocińska (1988)
Applicationes Mathematicae
Similarity:
Lucian Beznea (2011)
Journal of the European Mathematical Society
Similarity:
We develop potential-theoretical methods in the construction of measure-valued branching processes.We complete results of P. J. Fitzsimmons and E. B. Dynkin on the construction, regularity and other properties of the superprocess associated with a given right process and a branching mechanism.
Ken R. Duffy, Claudio Macci, Giovanni Luca Torrisi (2011)
ESAIM: Probability and Statistics
Similarity:
We prove that the large deviation principle holds for a class of processes inspired by semi-Markov additive processes. For the processes we consider, the sojourn times in the phase process need not be independent and identically distributed. Moreover the state selection process need not be independent of the sojourn times. We assume that the phase process takes values in a finite set and that the order in which elements in the set, called states, are visited is selected stochastically....
Ken R. Duffy, Claudio Macci, Giovanni Luca Torrisi (2012)
ESAIM: Probability and Statistics
Similarity:
We prove that the large deviation principle holds for a class of processes inspired by semi-Markov additive processes. For the processes we consider, the sojourn times in the phase process need not be independent and identically distributed. Moreover the state selection process need not be independent of the sojourn times. We assume that the phase process takes values in a finite set and that the order in which elements in the set, called states, are visited is selected stochastically....