✦ LIBER ✦

Extended naming conventions for communicating processes

✍ Scribed by Nissim Francez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An analysis of naming conventions for di

✍ Douglas B. Terry 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 29 KB

Communicating sequential processes

✍ Hoare, C. A. R. 📂 Article 📅 1983 🏛 Association for Computing Machinery 🌐 English ⚖ 831 KB

Survey-based naming conventions for use

✍ Daniel Schober; Barry Smith; Suzanna E Lewis; Waclaw Kusnierczyk; Jane Lomax; Ch 📂 Article 📅 2009 🏛 BioMed Central 🌐 English ⚖ 393 KB

Multicore scheduling for lightweight com

✍ Carl G. Ritson; Adam T. Sampson; Frederick R.M. Barnes 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 408 KB

Full Abstraction for Strongly Fair Commu

✍ Stephen Brookes; Susan Older 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1018 KB

A timed model for communicating sequenti

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