A FORMALISM FOR CONCURENT PROCESSES - Kaldewaij, Anne (Technische Hogeschool, 1986)