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

2020 ◽  
pp. 190-207
Author(s):  
Amin Soltanieh ◽  
Markus Siegle
Keyword(s):  
Stochastic Process ◽  
Process Algebra ◽  
Stochastic Process Algebra

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

IEEE Access ◽  
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

scholarly journals Fluid Rewards for a Stochastic Process Algebra

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
Sign in / Sign up

Export Citation Format

Share Document