✦ LIBER ✦

A formal model of concurrent systems based on bipartite directed acyclic graph

✍ Scribed by Masaki Murakami

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Noninterleaving Model of Concurrency B

✍ Luís Monteiro 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 288 KB

Modeling and formal verification of embe

✍ Luis Alejandro Cortés; Petru Eles; Zebo Peng 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 646 KB

Design of a formal model for the specifi

✍ Klaus Feldmann; Wolfgang Wolf; Matthias Weber 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 421 KB

4918621 Method for representing a direct

📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 177 KB