Login / Signup

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

Peter G. HarrisonTing 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