Semantic aspects of concurrent processes. - Gérald Belpaire; Jean Pierre Wilmotte (SIGPLAN-SIGOPS Interface Meeting, 1973)

Correctness of realizations of levels of abstraction in operating systems. - Gérald Belpaire; Jean Pierre Wilmotte (Symposium on Operating Systems, 1974)

Hardware architecture for recursive Virtual Machines. - Gérald Belpaire; Nai-Ting Hsu (ACM Annual Conference, 1975)

Formal Properties of Recursive Virtual Machine Architectures. - Gérald Belpaire; Nai-Ting Hsu (SOSP, 1975)

Synchronization: Is a synthesis of the problems possible? - Gérald Belpaire (SIGCOMM/SIGOPS Workshop on Interprocess Communications, 1975)