
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Loïc Paulevé, Morgan Magnin, Olivier Roux, "Tuning Temporal Features within the Stochastic πCalculus," IEEE Transactions on Software Engineering, vol. 37, no. 6, pp. 858871, November/December, 2011.  
BibTex  x  
@article{ 10.1109/TSE.2010.95, author = {Loïc Paulevé and Morgan Magnin and Olivier Roux}, title = {Tuning Temporal Features within the Stochastic πCalculus}, journal ={IEEE Transactions on Software Engineering}, volume = {37}, number = {6}, issn = {00985589}, year = {2011}, pages = {858871}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.95}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Tuning Temporal Features within the Stochastic πCalculus IS  6 SN  00985589 SP858 EP871 EPD  858871 A1  Loïc Paulevé, A1  Morgan Magnin, A1  Olivier Roux, PY  2011 KW  Temporal parameters KW  \picalculus KW  modelchecking KW  Markov processes KW  stochastic processes. VL  37 JA  IEEE Transactions on Software Engineering ER   
[1] R. Milner, Communication and Concurrency. PrenticeHall, Inc., 1989.
[2] M. Abadi and A.D. Gordon, "A Calculus for Cryptographic Protocols: The Spi Calculus," Information and Computation, vol. 148, pp. 3647, 1999.
[3] C. Priami, "Stochastic $\pi$ Calculus," The Computer J., vol. 38, no. 7, pp. 578589, 1995.
[4] C. Priami, A. Regev, E. Shapiro, and W. Silverman, "Application of a Stochastic NamePassing Calculus to Representation and Simulation of Molecular Processes," Information Processing Letters, vol. 80, no. 1, pp. 2531, 2001.
[5] C. Kuttler and J. Niehren, "Gene Regulation in the pi Calculus: Simulating Cooperativity at the Lambda Switch," Trans. Computational Systems Biology, pp. 2455, Springer, 2006.
[6] R. Blossey, L. Cardelli, and A. Phillips, "Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation," HFSP J., vol. 2, no. 1, pp. 1728, Feb. 2008.
[7] L. Cardelli, E. Caron, P. Gardner, O. Kahramanogullari, and A. Phillips, "A Process Model of Actin Polymerisation," Electronic Notes in Theoretical Computer Science, vol. 229, pp. 127144, 2009.
[8] D.T. Gillespie, "Exact Stochastic Simulation of Coupled Chemical Reactions," The J. Physical Chemistry, vol. 81, no. 25, pp. 23402361, 1977.
[9] A. Phillips and L. Cardelli, "Efficient, Correct Simulation of Biological Processes in the Stochastic piCalculus," Computational Methods in Systems Biology, Springer, 2007.
[10] G. Norman, C. Palamidessi, D. Parker, and P. Wu, "Model Checking Probabilistic and Stochastic Extensions of the $\pi$ Calculus," IEEE Trans. Software Eng., vol. 35, no. 2, pp. 209223, Mar./Apr. 2009.
[11] A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, "PRISM: A Tool for Automatic Verification of Probabilistic Systems," Proc. 12th Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems, 2006.
[12] R. Alur and D. Dill, "The Theory of Timed Automata," Proc. REX Workshop RealTime Theory in Practice, pp. 4573, 1992.
[13] P.M. Merlin, "A Study of the Recoverability of Computing Systems," PhD dissertation, 1974.
[14] P. Francois, V. Hakim, and E.D. Siggia, "Deriving Structure from Evolution: Metazoan Segmentation," Molecular Systems Biology, vol. 3, 2007.
[15] R. Milner, Communicating and Mobile Systems: The $\pi$ Calculus. Cambridge Univ. Press, 1999.
[16] C. Priami, "Stochastic $\pi$ Calculus with General Distributions," Proc. Fourth Workshop Process Algebras and Performance Modelling, pp. 4157, 1996.
[17] A. Phillips, L. Cardelli, and G. Castagna, "A Graphical Representation for Biological Processes in the Stochastic piCalculus," Trans. Computational Systems Biology, pp. 123152, Springer, 2006.
[18] M. Evans, N. Hastings, and B. Peacock, Statistical Distributions, third ed. WileyInterscience, 2000.
[19] A. Phillips, SPiM, http://research.microsoft.com/~aphillipspim , 2009.
[20] A. Zaigraev and A. PodrazaKarakulska, "On Estimation of the Shape Parameter of the Gamma Distribution," Statistics & Probability Letters, vol. 78, no. 3, pp. 286295, 2008.
[21] J. Mi and A. Naranjo, "Inferences about the Scale Parameter of the Gamma Distribution Based on Data Mixed from Censoring and Grouping," Statistics & Probability Letters, vol. 62, no. 3, pp. 229243, 2003.
[22] D.J. Wilkinson, Stochastic Modelling for Systems Biology. Chapman & Hall/CRC, 2006.
[23] D. Best and D. Roberts, "Algorithm AS91: The Percentage Points of the ChiSquared Distribution," Applied Statistics, vol. 24, no. 3, pp. 385390, 1975.
[24] A.R. DiDonato and A.H. MorrisJr., "Computation of the Incomplete Gamma Function Ratios and Their Inverse," ACM Trans. Math. Software, vol. 12, no. 4, pp. 377393, 1986.
[25] R Development Core Team, R: A Language and Environment for Statistical Computing, R Foundation for Statistical Computing, http:/www.Rproject.org, 2009.
[26] R. Kohavi and F. Provost, "Glossary of Terms," Applications of Machine Learning and the Knowledge Discovery Process vol. 30, editorial for the special issue, 1998.
[27] S. Amari and R. Misra, "ClosedForm Expressions for Distribution of Sum of Exponential Random Variables," IEEE Trans. Reliability, vol. 46, no. 4, pp. 519522, Dec. 1997.
[28] S. Nadarajah, "A Review of Results on Sums of Random Variables," Acta Applicandae Mathematicae, vol. 103, no. 2, pp. 131140, 2008.
[29] S. Favaro and S. Walker, "On the Distribution of Sums of Independent Exponential Random Variables via Wilks' Integral Representation," Acta Applicandae Mathematicae, vol. 109, no. 3, pp. 10351042, 2010.
[30] I. Mura, D. Prandi, C. Priami, and A. Romanel, "Exploiting NonMarkovian BioProcesses," Electronic Notes in Theoretical Computer Science, vol. 253, no. 3, pp. 8398, 2009.
[31] M.A. Gibson and J. Bruck, "Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels," The J. Physical Chemistry A, vol. 104, no. 9, pp. 18761889, 2000.
[32] M. Kwiatkowska, G. Norman, and D. Parker, "Symmetry Reduction for Probabilistic Model Checking," Proc. 18th Int'l Conf. Computer Aided Verification, pp. 234248, 2006.
[33] J.P. Katoen, D. Klink, M. Leucker, and V. Wolf, "Abstraction for Stochastic Systems by Erlang's Method of Stages," Proc. 19th Int'l Conf. Concurrency Theory, pp. 279294, 2008.
[34] G. López, H. Hermanns, and J.P. Katoen, "Beyond Memoryless Distributions: Model Checking SemiMarkov Chains," Proc. Joint Int'l Workshop Process Algebra and Probabilistic Methods, Performance Modelling and Verification, pp. 5770, 2001.
[35] J. Bryans, H. Bowman, and J. Derrick, "Model Checking Stochastic Automata," ACM Trans. Computational Logic, vol. 4, no. 4, pp. 452492, 2003.
[36] A. Bobbio and A. Horváth, "Petri Nets with Discrete Phase Type Timing: A Bridge between Stochastic and Functional Analysis," Electronic Notes in Theoretical Computer Science, vol. 52, no. 3, pp. 209226, 2002.