Introduction Interplay: Process Algebra and Markov Process Applications

First Page		Document Content
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		Introduction Interplay: Process Algebra and Markov Process Applications Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 1,58 MB Share Document on Facebook

	Introduction Markovian Foundations Applications DocID: 1qTwc - View Document
	Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science DocID: 1qN98 - View Document
	Introduction Bio-PEPA: Syntax and semantics Model Analysis DocID: 1qKk9 - View Document
	Introduction Interplay: Process Algebra and Markov Process Applications DocID: 1pWFx - View Document
	Continuous Approximation of PEPA models A Process Algebra for Hybrid Systems CICADA Seminar DocID: 1pvVe - View Document