S. Gingras

Solving a Mutual Exclusion Problem with the RGD Arbiter

Jo C. Ebergen, P. F. Bertrand, S. Gingras, 1993, Asynchronous Design Methodologies.

A verifier for network decompositions of command-based specifications

S. Gingras, J. C. Ebergen, 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.