Login / Signup
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