✦ LIBER ✦

Typed behavioural equivalences for processes in the presence of subtyping

✍ Scribed by Matthew Hennessy; Julian Rathke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Behaviour of a type I superconductor in

✍ J. Pinel; C. Lebeau; J. Rosenblatt 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 291 KB

Evidence for the presence of α1 adrenoce

✍ Sandra Sigala; Marco Dellabella; Giulio Milanese; Sara Fornari; Stefania Faccoli 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 194 KB

Some remarks on the behaviour of the sol

✍ Mircea Sofonea 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 688 KB

Time behaviour for diffusion in the pres

✍ Guillermo Abramson; H.S. Wio 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 213 KB

Thermal degradation of prions in the pre

✍ Henrik Müller; Detlev Riesner 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 211 KB

Determination of Equivalent Processes fo

✍ D. R. WARD; M. D. PIERSON; M. S. MINNICK 📂 Article 📅 1984 🏛 Institute of Food Technologists 🌐 English ⚖ 232 KB