scholarly journals Separable equilibrium state probabilities via time reversal in Markovian process algebra

2005 ◽  
Vol 346 (1) ◽  
pp. 161-182 ◽  
Author(s):  
P.G. Harrison ◽  
T.T. Lee
Keyword(s):  
Equilibrium State ◽  
Time Reversal ◽  
Process Algebra ◽  
Markovian Process

scholarly journals A fluid analysis framework for a Markovian process algebra

2010 ◽  
Vol 411 (22-24) ◽  
pp. 2260-2297 ◽  
Author(s):  
Richard A. Hayden ◽  
Jeremy T. Bradley
Keyword(s):  
Process Algebra ◽  
Markovian Process ◽  
Analysis Framework ◽  
Fluid Analysis

scholarly journals Exact fluid lumpability in Markovian process algebra

2014 ◽  
Vol 538 ◽  
pp. 140-166 ◽  
Author(s):  
Max Tschaikowski ◽  
Mirco Tribastone
Keyword(s):  
Process Algebra ◽  
Markovian Process

scholarly journals Generating the syntactic and semantics graphs for a Markovian process algebra

2007 ◽  
Vol 204 (1) ◽  
pp. 38-47 ◽  
Author(s):  
Fernando L. Pelayo ◽  
Maria L. Pelayo ◽  
Juan L.G. Guirao
Keyword(s):  
Process Algebra ◽  
Markovian Process
Sign in / Sign up

Export Citation Format

Share Document