An Asynchronous Calculus for Generative-Reactive Probalistic Systems.

Alessandro Aldini, Mario Bravetti

Browse the full ICALP paper archive.