Output details
11 - Computer Science and Informatics
University of Edinburgh
Article title
Scalable Differential Analysis of Process Algebra Models
Type
D - Journal article
Title of journal
IEEE Transactions on Software Engineering
Article number
-
Volume number
38
Issue number
1
First page of article
205
ISSN of journal
0098-5589
Year of publication
2012
Number of additional authors
2
Additional information
<10> Originality: This is the first paper to present a fluid-flow-based semantics of a stochastic process algebra. A continuous-space mathematical model is derived directly from the process algebra using a representation based on structured operational semantics.
Significance: The work placed the very influential fluid-flow approach of Hillston on a formal semantic footing, and avoids the state-space explosion problem incurred by discrete state-based approaches.
Rigour: The paper appeared in a top software engineering journal. It includes a substantial case study and assesses the accuracy of the continuous approximation against the discrete interpretation.
Interdisciplinary
-
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
10
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
