PEPA

Results: 163



#Item
21Process calculi / Jane Hillston / PEPA / Laboratory for Foundations of Computer Science / Markov chain / Principle of compositionality / Process calculus / Edinburgh / Philosophy / Theoretical computer science

Introduction Compositionality: Interaction and Independence Applications and Acceptance

Add to Reading List

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

Language: English - Date: 2005-09-27 05:39:14
22

VAPEPA:N 164 MHZ:N PEPA-VHF Vak Timo Ärlig, oh3fnVer 3.1

Add to Reading List

Source URL: www.sral.fi

Language: Finnish - Date: 2006-08-15 05:19:57
    23Chemistry / Chemical reaction engineering / Nature / Markov processes / Markov models / Chemical kinetics / PEPA / Process calculi / Markov chain / Stoichiometry / Chemical reaction / Rate equation

    FBTCSome investigations concerning the CTMC and the ODE model derived from Bio-PEPA Federica Ciocchetta 1 ,a , Andrea Degasperi Jane Hillston 3 ,a and Muffy Calder 4 ,b

    Add to Reading List

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

    Language: English - Date: 2010-05-13 03:56:15
    24Process calculi / Jane Hillston / PEPA / Markov chain / Laboratory for Foundations of Computer Science / Process calculus / Algebra / Edinburgh / Theoretical computer science / Mathematics / TAPAs model checker

    Introduction Interplay: Process Algebra and Markov Process Applications

    Add to Reading List

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

    Language: English - Date: 2005-09-27 05:37:50
    25Theoretical computer science / Process calculi / Jane Hillston / PEPA / Logic in computer science / Metaphor / Simulation / Scientific modelling / Stochastic / Mathematical model / Semantics / Economic model

    Bio-PEPA: A collective dynamics approach to systems biology Jane Hillston. University of Edinburgh. Introduction

    Add to Reading List

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

    Language: English - Date: 2010-05-11 05:00:03
    26Process calculi / Theoretical computer science / Formal methods / Metaphor / Simulation / PEPA / Jane Hillston / Scientific modelling / Stochastic / Process calculus / Economic model / Semantics

    Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.

    Add to Reading List

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

    Language: English - Date: 2008-10-17 04:53:23
    27Theoretical computer science / Statistics / Markov models / Mathematics / Graph theory / Markov chain / Stochastic process / Stochastic / Process calculus / Semantics / Algebra over a field / PEPA

    Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh

    Add to Reading List

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

    Language: English - Date: 2011-09-15 09:47:16
    28Process calculus / PEPA / System / Scientific modelling / Jane Hillston / TAPAs model checker

    Continuous Approximation of PEPA models A Process Algebra for Hybrid Systems CICADA Seminar

    Add to Reading List

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

    Language: English - Date: 2008-04-10 07:33:53
    29PEPA / Process calculi / Jane Hillston / Process calculus / Scientific modelling / Stochastic

    Bio-PEPA for epidemiological models Jane Hillston. LFCS and CSBE, The University of Edinburgh 24th September 2009 Joint work with Federica Ciocchetta.

    Add to Reading List

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

    Language: English - Date: 2009-10-09 05:09:45
    30

    He Wehewehe no ka Ho‘opihapiha Pepa Noi Komo no ka Papahana Kēkelē Laeo‘o no ka Ho‘ona‘auao ‘Ōlelo a Mo‘omeheu ‘Ōiwi ʻike i ka moʻomeheu ʻoiai ʻo ka piko ana ia o kāna mau hana ma ke kula a me ka

    Add to Reading List

    Source URL: hilo.hawaii.edu

    Language: Swahili - Date: 2016-01-11 20:01:49
      UPDATE