Giving a net semantics to Markovian process algebra

2002 ◽  
Author(s):  
M. Bernardo ◽  
L. Donatiello ◽  
R. Gorrieri
Keyword(s):  
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