✦ LIBER ✦

A singleton failures semantics for Communicating Sequential Processes

✍ Scribed by Christie Bolton; Jim Davies

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A timed model for communicating sequenti

✍ G.M. Reed; A.W. Roscoe 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 844 KB

A model of reconfiguration in communicat

✍ Jeremy Jacob 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 315 KB

Denotational semantics of communicating

✍ Manfred Broy 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 420 KB

Verification system for partial correctn

✍ Masaki Murakami; Yasuyoshi Inagaki 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 599 KB

Verification system for freedom from dea

✍ Masaki Murakami; Yasuyoshi Inagaki 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 600 KB

A stochastic domino model for a sequenti

✍ J.H. Pickles 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 604 KB