Login / Signup

Typing the Behavior of Objects and Component Using Session Types.

Antonio VallecilloVasco Thudichum VasconcelosAntónio Ravara
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases