Exact Fluid Lumpability for Markovian Process Algebra
https://ift.tt/eA8V8J
We study behavioural relations for process algebra with a fluid semantics given in terms of a system of ordinary differential equations (ODEs).
from Algebra
We study behavioural relations for process algebra with a fluid semantics given in terms of a system of ordinary differential equations (ODEs).
from Algebra