Albert Benveniste, Eric Fabre, Stefan Haar. Markov nets: probabilistic models for distributed and concurrent systems. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 5010-5015, IEEE, 2001. [doi]
Abstract is missing.