✦ LIBER ✦

Ready simulation for concurrency: It’s logical!

✍ Scribed by Gerald Lüttgen; Walter Vogler

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simulation refinement for concurrency ve

✍ Wim H. Hesselink 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Control-ready architecture for self-test

✍ G. P. Aksenova 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 382 KB

Efficient event communication algorithm

✍ Takateru Kyogoku; Yukari Hamada; Tetsuya Murakami; Koichi Wada 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 282 KB

A generalization of Owicki-Gries's Hoare

✍ Colin Stirling 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 831 KB

Simulation in the Classroom: It's Not Ju

✍ Janis C. Childs; Susan B. Sepples 📂 Article 📅 2009 🏛 Elsevier 🌐 English ⚖ 43 KB

Craig's interpolation theorem for the in

✍ Hiroakira Ono 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 935 KB