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

	Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland DocID: 1xTqK - View Document
	Y in Practical Programs∗ Extended Abstract Bruce McAdam Laboratory for Foundations of Computer Science, The University of Edinburgh, DocID: 1uP2j - View Document
	Service-Level Agreements for Service-Oriented Computing Allan Clark, Stephen Gilmore and Mirco Tribastone Laboratory for Foundations of Computer Science The University of Edinburgh, Scotland DocID: 1utjz - View Document
	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, DocID: 1umdS - View Document
	Rigorous Graphical Modelling of Movement in Collective Adaptive Systems N. Zo´ n(B) , S. Gilmore, and J. Hillston Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh DocID: 1uiqF - View Document