@article{Priami01011995,
    Abstract = {We extend the {$\pi$}-calculus, a model of concurrent processes based on the notion of naming, to cope with performance modelling. The new language is called the stochastic {$\pi$}-calculus (S{$\pi$}). We obtain a more expressive language than classical stochastic process algebras because S{$\pi$} is given in the classical structural operational approach. In order to effectively computer performance measures, we define a stratified transition system that is finitely branching. We give a transition rule to directly yield a continuous time Markov chain from an S{$\pi$} specification, with no transition system manipulation.},
    Author = {Priami, C.},
    EPrint = {http://comjnl.oxfordjournals.org/content/38/7/578.full.pdf+html},
    File = {Stochastic {$\pi$}-Calculus - Priami (0) (0) - a - a - h.pdf},
    Journal = {The Computer Journal},
    Number = {7},
    Pages = {578-589},
    Title = {Stochastic {$\pi$}-Calculus},
    URL = {http://comjnl.oxfordjournals.org/content/38/7/578.abstract},
    Volume = {38},
    Year = {1995},
    bdsk-url-1 = {http://comjnl.oxfordjournals.org/content/38/7/578.abstract},
    bdsk-url-2 = {http://dx.doi.org/10.1093/comjnl/38.7.578},
    date-added = {2014-09-18 05:25:51 +0000},
    date-modified = {2014-09-18 05:25:51 +0000},
    doi = {10.1093/comjnl/38.7.578}
}

@article{Priami01011995, Abstract = {We extend the {$\pi$}-calculus, a model of concurrent processes based on the notion of naming, to cope with performance modelling. The new language is called the stochastic {$\pi$}-calculus (S{$\pi$}). We obtain a more expressive language than classical stochastic process algebras because S{$\pi$} is given in the classical structural operational approach. In order to effectively computer performance measures, we define a stratified transition system that is finitely branching. We give a transition rule to directly yield a continuous time Markov chain from an S{$\pi$} specification, with no transition system manipulation.}, Author = {Priami, C.}, EPrint = {http://comjnl.oxfordjournals.org/content/38/7/578.full.pdf+html}, File = {Stochastic {$\pi$}-Calculus - Priami (0) (0) - a - a - h.pdf}, Journal = {The Computer Journal}, Number = {7}, Pages = {578-589}, Title = {Stochastic {$\pi$}-Calculus}, URL = {http://comjnl.oxfordjournals.org/content/38/7/578.abstract}, Volume = {38}, Year = {1995}, bdsk-url-1 = {http://comjnl.oxfordjournals.org/content/38/7/578.abstract}, bdsk-url-2 = {http://dx.doi.org/10.1093/comjnl/38.7.578}, date-added = {2014-09-18 05:25:51 +0000}, date-modified = {2014-09-18 05:25:51 +0000}, doi = {10.1093/comjnl/38.7.578} }