Wu-Hon F. Leung

On the Verifiability of Programs Written in the Feature Language Extensions

Wu-Hon F. Leung, 2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07).

Program entanglement, feature interaction and the feature language extensions

Wu-Hon F. Leung, W. H. Leung, 2007, Comput. Networks.

The network operating system concept for future services

Gottfried W. R. Luderer, Wu-Hon F. Leung, 1989, AT&T Technical Journal.

Writing Reusable Feature Programs with the Feature Language Extensions

Wu-Hon F. Leung, 2005, FIW.

Implicit Multicast Routing Protocol

Thiruvengadam Venketesan, Wu-Hon F. Leung, W. Leung, 2005, Joint International Conference on Autonomic and Autonomous Systems and International Conference on Networking and Services - (icas-isns'05).

Message-ordered multicast by common building blocks

Wu-Hon F. Leung, Laurent Nadeau, L. Nadeau, 2006, InfoScale '06.

On the Verifiability of Programs Written in the Feature Language Extensions

Wu-Hon F. Leung, 2007 .

Feature Interaction Detection in the Feature Language Extensions

Lei Sun, Yimeng Li, Wu-Hon F. Leung, 2009, ICFI.

A Software Architecture for Workstations Supporting Multimedia Conferencing in Packet Switching Networks

T. J. Baumgartner, Wu-Hon F. Leung, Thomas J. Baumgartner, 1990, IEEE J. Sel. Areas Commun..

Procédé de contrôle d'appel multiple dans un système de conférence multi-médias

Wu-Hon F. Leung, Shi-Chuan Tu, Thomas Joseph Baumgartner, 1991 .

Bricks: a configurable coordination service with multiple consistency models

Xincheng Yang, Wu-Hon F. Leung, Shuichi Maruyama, 2021, Middleware Demos/Posters.