A semantic framework for open processes (0)

by P Baldan, A Bracciali, R Bruni
Venue:Theoretical Computer Science