Describing and Executing Random Reactive Systems.

Pascal Raymond, Erwan Jahier, Yvan Roux

Browse the full SEFM paper archive.