Back to Results
First PageMeta Content
Markov models / Queueing theory / PEPA / Process calculi / Markov chain / Product form solution / Markov property / Semi-Markov process / Markov decision process / Statistics / Markov processes / Stochastic processes


Process Algebras for Quantitative Analysis J. Hillston LFCS, School of Informatics
Add to Reading List

Document Date: 2006-05-09 11:27:44


Open Document

File Size: 247,59 KB

Share Result on Facebook

City

Raleigh / New York / Bamberg / Aachen / Nice / London / Edinburgh / /

Company

Cambridge University Press / ACM Press / Probabilistic Systems / Stochastic Systems / Kluwer Academic Press / IEEE Computer Society Press / Queueing Systems / /

Country

Germany / France / United States / United Kingdom / Scotland / /

Currency

USD / /

/

Event

Man-Made Disaster / /

Facility

University of Twente / The University of Edinburgh / University of Erlangen-N¨urnberg / Informatics University of Edinburgh / University of Bristol / Communication System Performance Evaluation / Liverpool John Moores University / University of Birmingham / /

IndustryTerm

infinite server / analytical solution / web service composition language / expansion law / large complex systems / communication systems / web service composition / formalisms software designers / form solutions / software modules / formal techniques and tools / formal tools / software engineering community / disk-based tool / lift systems / contrast analytic solution / large systems / project web pages / product form solution / software designs / guaranteed product form solution / security protocols / few real systems / numerical solution / /

Organization

Cambridge University / Liverpool John Moores University / University of Erlangen-N¨urnberg / IMC / University of Birmingham / University of Twente / Department of Computer Science / University of Bristol / University of Edinburgh / P Q / /

Person

Semi-Markov Processes / K. Sanwal / V / Proc / Van Nostrand / John Wiley / /

Position

extractor / editor / software designer / /

ProvinceOrState

New Brunswick / New York / North Carolina / California / /

PublishedMedium

Journal of the ACM / The Computer Journal / Theoretical Computer Science / /

Technology

security protocols / queueing theory / simulation / /

URL

http /

SocialTag