PEPA

Results: 163



#Item
1Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1

Add to Reading List

Source URL: www.dcs.ed.ac.uk

Language: English - Date: 2006-11-20 08:52:25
2The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010

The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010

Add to Reading List

Source URL: www.dcs.ed.ac.uk

Language: English - Date: 2010-12-01 06:26:33
3IEEE TRANSACTIONS ON SOFTWARE ENGINEERING  1 An Efficient Algorithm for Aggregating PEPA Models

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA Models

Add to Reading List

Source URL: www.dcs.ed.ac.uk

Language: English - Date: 2001-04-20 07:05:29
    4Finding the rates inside a PEPA model with EMPEPA  Finding the rates inside a PEPA model with EMPEPA Nil Geisweiller PEPA Club

    Finding the rates inside a PEPA model with EMPEPA Finding the rates inside a PEPA model with EMPEPA Nil Geisweiller PEPA Club

    Add to Reading List

    Source URL: empepa.sourceforge.net

    Language: English - Date: 2007-01-28 18:21:42
      5Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory  for Foundations of Computer Science, The University of Edinburgh,

      Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh,

      Add to Reading List

      Source URL: homepages.inf.ed.ac.uk

      Language: English - Date: 2010-05-13 03:56:16
        6Introduction  Bio-PEPA Bio-PEPAd

        Introduction Bio-PEPA Bio-PEPAd

        Add to Reading List

        Source URL: homepages.inf.ed.ac.uk

        - Date: 2011-09-22 08:13:54
          7Lumpability  Strong Equivalence in PEPA Contextual Lumpability

          Lumpability Strong Equivalence in PEPA Contextual Lumpability

          Add to Reading List

          Source URL: homepages.inf.ed.ac.uk

          - Date: 2013-12-16 05:46:43
            8He Hō‘ike no ka Ho‘opihapiha ‘ia o ka Pepa Noi Komo no ka  Papahana Ho‘omākaukau Kumu ‘Ōiwi ‘o Kahuawaiola PAPA HŌ‘OIA  Ka Palapala Noi Komo Kulanui  Ke kāki noi komo he $50

            He Hō‘ike no ka Ho‘opihapiha ‘ia o ka Pepa Noi Komo no ka Papahana Ho‘omākaukau Kumu ‘Ōiwi ‘o Kahuawaiola PAPA HŌ‘OIA  Ka Palapala Noi Komo Kulanui  Ke kāki noi komo he $50

            Add to Reading List

            Source URL: hilo.hawaii.edu

            - Date: 2014-09-22 21:08:08
              9PEPA-FOORUMI SRAL:N KESÄLEIRI 2011 SAPPEE OH3FN 2011

              PEPA-FOORUMI SRAL:N KESÄLEIRI 2011 SAPPEE OH3FN 2011

              Add to Reading List

              Source URL: www.sral.fi

              - Date: 2011-09-09 06:23:47
                10Modelling circadian rhythms using stochastic process algebra Jane Hillston. University of Edinburgh.

                Modelling circadian rhythms using stochastic process algebra Jane Hillston. University of Edinburgh.

                Add to Reading List

                Source URL: homepages.inf.ed.ac.uk

                Language: English - Date: 2010-12-06 05:03:26