You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 181 of 401 in the submission

Output title

Hybrid Semantics for PEPA

Type

E - Conference contribution

DOI

10.1109/QEST.2010.31

Name of conference/published proceedings

Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the

Volume number

Issue number

First page of article

181

ISSN of proceedings

Year of publication

2010

URL

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5600389

Number of additional authors

Additional information

<10> Originality: Provides a hybrid semantics for the stochastic process algebra PEPA by partitioning actions into continuous and discrete.

Significance: This approach permits exploration of hybrid behaviour that lies between the fully stochastic behaviour of PEPA and the fully continuous and deterministic behaviour of fluid PEPA. For a model, it allows for deterministic approximation when population numbers are high and stochastic simulation when population numbers are low giving more efficient simulation with less low quality approximation. Published in a leading conference on quantitative approaches to modelling.

Rigour: Two page appendix of proofs submitted with conference paper.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract