Associating a Markov Process with Maude Executable Modules.

Lorenzo Capra

Browse the full SIMULTECH paper archive.