Gérald Belpaire

Publication Activity (10 Years)

Years Active: 1973-1975
Publications (10 Years): 0

Publications

Gérald Belpaire
Synchronization: Is a synthesis of the problems possible? ACM SIGOPS Oper. Syst. Rev. 9 (3) (1975)
Gérald Belpaire, Nai-Ting Hsu
Hardware architecture for recursive Virtual Machines. ACM Annual Conference (1975)
Gérald Belpaire, Nai-Ting Hsu
Formal Properties of Recursive Virtual Machine Architectures. SOSP (1975)
Gérald Belpaire, Jean Pierre Wilmotte
Correctness of realizations of levels of abstraction in operating systems. Symposium on Operating Systems (1974)
Gérald Belpaire, Jean Pierre Wilmotte
Semantic aspects of concurrent processes. SIGPLAN-SIGOPS Interface Meeting (1973)