Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

First Page		Document Content
Date: 2010-08-25 14:16:19 Theoretical computer science Markov models Formal methods Graph theory Markov chain Process calculus Semantics Stochastic process Mathematics		Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics Add to Reading List Source URL: dream.inf.ed.ac.uk Download Document from Source Website File Size: 1,57 MB Share Document on Facebook

	1 Poster: Zero-day Botnet Domain Generation Algorithm (DGA) Detection using Hidden Markov Models (HMMs) Yu Fu, Lu Yu, Richard Brooks Senior Member, IEEE DocID: 1xTn8 - View Document
	doi:jmbiavailable online at http://www.idealibrary.com on J. Mol. Biol, 903±919 Assignment of Homology to Genome Sequences using a Library of Hidden Markov Models that DocID: 1vpzW - View Document
	HMMER User’s Guide Biological sequence analysis using profile hidden Markov models Sean R. Eddy and the HMMER development team DocID: 1vkVT - View Document
	EE365: Hidden Markov Models Hidden Markov Models The Viterbi Algorithm 1 DocID: 1vjvE - View Document
	Spectral Learning for Mixture of Markov Models 1 Barıs¸ DocID: 1veNl - View Document