On sequential composition, action prefixes and process prefix J. C. M. BaetenJ. A. Bergstra OriginalPaper Pages: 250 - 268
Reasoning about dynamically evolving process structures Pierre AmericaFrank de Boer OriginalPaper Pages: 269 - 316