TAPAs model checker - PDFSEARCH.IO - Document Search Engine

TAPAs model checker
Results: 6

#	Item
1	Introduction Markovian Foundations Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-30 16:35:02 Markov processes Process calculi Markov models PEPA Markov chain Jane Hillston Markovian Process calculus Theoretical computer science Mathematics Discrete mathematics TAPAs model checker
2	Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-25 05:29:57 Algebra over a field Process calculus Stochastic process Stochastic Jane Hillston Process calculi Data Computing PEPA Information Non-associative algebras TAPAs model checker
3	Introduction Bio-PEPA: Syntax and semantics Model Analysis Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:34 Process calculi Theoretical computer science PEPA Jane Hillston Process calculus Mathematics Semantics -calculus Calculus Stochastic Model checking TAPAs model checker
4	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 Process calculi Jane Hillston PEPA Markov chain Laboratory for Foundations of Computer Science Process calculus Algebra Edinburgh Theoretical computer science Mathematics TAPAs model checker
5	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 Process calculus PEPA System Scientific modelling Jane Hillston TAPAs model checker
6	Using stochastic process algebra to model biochemical pathways Using stochastic process algebra to model biochemical pathways Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-03-02 10:57:28 PEPA Process calculi Jane Hillston Process calculus Stochastic Scientific modelling Economic model Algebra over a field TAPAs model checker