A Theory of Processes with Durational Actions. - Roberto Gorrieri; Marco Roccetti; Enrico Stancampiano (Theor. Comput. Sci., 1995)