Fluid Rewards for a Stochastic Process Algebra

IEEE Transactions on Software Engineering ◽

10.1109/tse.2011.81 ◽

2012 ◽

Vol 38 (4) ◽

pp. 861-874 ◽

Author(s):

Mirco Tribastone ◽

Jie Ding ◽

Stephen Gilmore ◽

Jane Hillston

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Stochastic Process Algebra with Value-Passing

2008 International Conference on Computer Science and Software Engineering ◽

10.1109/csse.2008.520 ◽

2008 ◽

Author(s):

Guang Zheng ◽

Jinzhao Wu ◽

Lian Li

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Analysis of a Multimedia Stream using Stochastic Process Algebra

The Computer Journal ◽

10.1093/comjnl/44.4.230 ◽

2001 ◽

Vol 44 (4) ◽

pp. 230-245 ◽

Author(s):

H. Bowman

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Multimedia Stream ◽

Stochastic Process Algebra

Download Full-text

Performance evaluation of dynamic resource allocation in cloud computing platforms using Stochastic Process Algebra

2013 8th International Conference on Computer Engineering & Systems (ICCES) ◽

10.1109/icces.2013.6707168 ◽

2013 ◽

Author(s):

Doaa M. Shawky

Keyword(s):

Stochastic Process ◽

Resource Allocation ◽

Cloud Computing ◽

Performance Evaluation ◽

Process Algebra ◽

Dynamic Resource Allocation ◽

Dynamic Resource ◽

Computing Platforms ◽

Stochastic Process Algebra

Download Full-text

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models

Lecture Notes in Computer Science - Measurement, Modelling and Evaluation of Computing Systems ◽

10.1007/978-3-030-43024-5_12 ◽

2020 ◽

pp. 190-207

Author(s):

Amin Soltanieh ◽

Markus Siegle

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87412-6_7 ◽

2008 ◽

pp. 79-94

Author(s):

Jeremy T. Bradley

Keyword(s):

Stochastic Process ◽

Circadian Rhythm ◽

Performance Analysis ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Block-structured stochastic process algebra and its applications to queueing systems

IEE Proceedings - Software ◽

10.1049/ip-sen:20060012 ◽

2006 ◽

Vol 153 (5) ◽

pp. 199 ◽

Author(s):

Y. Li ◽

C. Lin ◽

Q. Li ◽

Z. Shan

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Queueing Systems ◽

Stochastic Process Algebra ◽

Block Structured

Download Full-text

Visual representation of stochastic process algebra models

Proceedings of the second international workshop on Software and performance - WOSP '00 ◽

10.1145/350391.350397 ◽

2000 ◽

Author(s):

Nigel Thomas ◽

Malcolm Munro ◽

Peter King ◽

Rob Pooley

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Visual Representation ◽

Stochastic Process Algebra

Download Full-text

Operation Chain Model of Reconfigurable Printing Manufacturing System Based on Stochastic Process Algebra

IEEE Access ◽

10.1109/access.2019.2939072 ◽

2019 ◽

Vol 7 ◽

pp. 127475-127485

Author(s):

Huailin Li ◽

Shisheng Zhou ◽

Rubai Luo ◽

Bin Du

Keyword(s):

Stochastic Process ◽

Manufacturing System ◽

Process Algebra ◽

Chain Model ◽

Stochastic Process Algebra

Download Full-text

Robust resource allocations through performance modeling with stochastic process algebra

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.3894 ◽

2016 ◽

Vol 29 (7) ◽

pp. e3894 ◽

Author(s):

Srishti Srivastava ◽

Ioana Banicescu

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Performance Modeling ◽

Resource Allocations ◽

Stochastic Process Algebra

Download Full-text

A novel formal analysis method of network survivability based on stochastic process algebra

Tsinghua Science & Technology ◽

10.1016/s1007-0214(07)70105-0 ◽

2007 ◽

Vol 12 (S1) ◽

pp. 175-179 ◽

Author(s):

Guosheng Zhao ◽

Huiqiang Wang ◽

Jian Wang

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Formal Analysis ◽

Network Survivability ◽

Analysis Method ◽

Stochastic Process Algebra

Download Full-text