✦ LIBER ✦

A formal system for parallel programs in discrete time and space

✍ Scribed by Hiroya Kawai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal model of a system for automated

✍ V. A. Vasenin; A. N. Vodomerov 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 218 KB

Observation strategy for a parallel conn

✍ L. Carotenuto; P. Muraca; G. Raiconi 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 853 KB

A Real-Time Discrete Event System Specif

✍ Joon Sung Hong; Hae-Sang Song; Tag Gon Kim; Kyu Ho Park 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 604 KB

A Parallel Space-Time Algorithm

✍ Christlieb, Andrew J.; Haynes, Ronald D.; Ong, Benjamin W. 📂 Article 📅 2012 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 257 KB

Dynamic programming for discrete-time st

✍ P. Rupśys 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 465 KB

On exponential stability for linear disc

✍ Ioan-Lucian Popa; Traian Ceauşu; Mihail Megan 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 213 KB