✦ LIBER ✦

Typing the Behavior of Objects and Components using Session Types

✍ Scribed by Antonio Vallecillo; Vasco T. Vasconcelos; António Ravara

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 179 KB
Volume: 68
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80382-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Behavioral and content components of the

Behavioral and content components of the structured interview assessment of the Type A behavior pattern in women

✍ Judith R. Anderson; Ingrid Waldron 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 622 KB

Behavior, body types and the irreversibi

Behavior, body types and the irreversibility of evolution

✍ Francisco Aboitiz 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 712 KB

This perspective differs from the current 'structuralist' trend, which emphasizes the constraining role of developmental paths. In addition, the present approach agrees with the adaptationist paradigm. It is further argued that three types of phenomena are better understood in this light: i.-the exi

States, state types, and the causation o

States, state types, and the causation of behavior

✍ Ansgar Beckermann 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 838 KB

Electrification of two-component dust pr

Electrification of two-component dust produced using n- and p-type germanium

✍ L. Szaro; J. Malcher 📂 Article 📅 1979 🏛 Elsevier Science 🌐 French ⚖ 479 KB

The use of industrial type control and m

The use of industrial type control and monitoring components for a large fusion experiment

✍ O.N. Hemming; G. Manduchi; A. Luchetta; V. Schmidt; S. Vitturi 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 793 KB

Component analysis of the structured int

Component analysis of the structured interview for assessment of Type A behavior in employed women

✍ Judith R. Anderson; Janet C. Meininger 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 784 KB