Authors: Pierre America Frank de Boer

Citation: Pierre America et Frank De Boer, Reasoning about dynamically evolving process structures, Formal aspects of computing The international journal of formal methods , 6(3), 1994, pp. 269-316