Article,

Typing the Behavior of Objects and Component Using Session Types.

, , and .
Electron. Notes Theor. Comput. Sci., 68 (3): 439-456 (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews