✦ LIBER ✦

Relational concurrent refinement part II: Internal operations and outputs

✍ Scribed by Eerke Boiten; John Derrick; Gerhard Schellhorn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relational concurrent refinement part II

✍ John Derrick, Eerke Boiten 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 362 KB

Traces on Operator Ideals and Related Li

✍ Pietsch, Albrecht 📂 Article 📅 2013 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 573 KB

Glycidyl esters in refined palm (Elaeis

✍ Brian D. Craft; Kornél Nagy; Walburga Seefelder; Mathieu Dubois; Frédéric Destai 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 317 KB

On the Relations between the Viscosity (

✍ Thorpe, T. E.; Rodger, J. W. 📂 Article 📅 1897 🏛 The Royal Society ⚖ 191 KB

Defect Functions of Holomorphic Contract

✍ Boiko, S. S.; Dubovoy, V. K.; Kheifets, A. Ya. 📂 Article 📅 2013 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 516 KB

ICC position statement on computer crime

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 566 KB