Login / Signup

Arbiters: An Exercise in Specifying and Decomposing Asynchronously Communicating Components.

Jo C. Ebergen
Published in: Sci. Comput. Program. (1992)
Keyphrases