Model and reason on processes through (Scryer) Prolog, directly in the browser