Separable equilibrium state probabilities via time reversal in Markovian process algebra.

Peter G. Harrison Ting Ting Lee

Published in: Theor. Comput. Sci. (2005)

Keyphrases

process algebra
model checking
formal specification
machine learning
fine grained
game theory
web services composition
asynchronous circuits
concurrent systems