✦ LIBER ✦

Variable binding operators in transition system specifications

✍ Scribed by C.A. Middelburg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The meaning of negative premises in tran

✍ R.J van Glabbeek 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 359 KB

Dimensions of variability in embedded op

✍ Schröder-Preikschat, Wolfgang ;Lohmann, Daniel ;Scheler, Fabian ;Spinczyk, Olaf 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 German ⚖ 908 KB

Specification of information systems ope

✍ D.A. Jardine; J.J. van Griethuysen 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 891 KB

Operational Feasibility of Timed Transfe

✍ Abkowitz, Mark; Josef, Robert; Tozzi, John; Driscoll, Mary K. 📂 Article 📅 1987 🏛 American Society of Civil Engineers 🌐 English ⚖ 575 KB

Variable and Constant Volume Operation i

✍ Brooks, F. 📂 Article 📅 1964 🏛 IEEE 🌐 English ⚖ 970 KB

Folding transition in the DMA-binding do

✍ Weiss, Michael A.; Ellenberger, Thomas; Wobbe, C. Richard; Lee, Jonathan P.; Har 📂 Article 📅 1990 🏛 Nature Publishing Group 🌐 English ⚖ 529 KB