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
Citation: Pierre America et Jan Rutten, A layered semantics for a parallel object-oriented language, Formal aspects of computing The international journal of formal methods , 4(4), 1992, pp. 376-408