✦ LIBER ✦

A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure

✍ Scribed by Luís Monteiro

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal model of concurrent systems bas

✍ Masaki Murakami 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 271 KB

A general theorem on the transition prob

✍ H.A. Tolhoek; S.R. De Groot 📂 Article 📅 1949 🏛 Elsevier Science ⚖ 414 KB

A computerized geologic mapping system b

✍ Masanori Sakamoto; Kiyoji Shiono; Shinji Masumoto; Kiyoshi Wadatsumi 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 531 KB

Selection functionals in autonomous mode

✍ V. N. Razzhevaikin 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 193 KB

Structure Model of a One-Dimensional Dis

✍ Dr. H.-J. Unger 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 521 KB

Effects of brace stiffness on performanc

✍ Yung-Tsang Chen; Y. H. Chai 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 851 KB