𝔖 Bobbio Scriptorium

✦ LIBER ✦

Proving noninteraction: An optimized approach: R. Gerth and L. Shrira, TECHNION - Israel Institute of Technology, Department of Computer Science, Haifa, Israel, November 1985.

Book ID: 113272702
Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 102 KB
Volume: 2
Category: Article
ISSN: 0167-9236
DOI: 10.1016/0167-9236(86)90071-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Overhead of locking protocols in a distr

Overhead of locking protocols in a distributed database: Ouri Wolfson, TECHNION - Israel Institute of Technology, Department of Computer Science, Haifa, Israel, November 1985.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 128 KB

A pumping lemma for monotonous super-net

A pumping lemma for monotonous super-nets languages: O. Gerstel, Z. Harpaz and R. Rinat, TECHNION - Israel Institute of Technology, Department of Computer Science, Haifa, Israel, November 1985.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 99 KB

On the message complexity and bit comple

On the message complexity and bit complexity of distributed sorting: O. Gerstel and S. Zaks, TECHNION - Israel Institute of Technology, Department of Computer Science, Haifa, Israel, August 1985.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 200 KB

On the cost of sense of direction in dis

On the cost of sense of direction in distributed networks: Z. Harpaz and S. Zaks, TECHNION - Israel Institute of Technology, Department of Computer Science, Haifa, Israel, Oktober 1985.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 102 KB

A modular technique for the design of ef

A modular technique for the design of efficient distributed leader finding algorithms: E. Korach, S. Kutten and S. Moran, TECHNION - Israel Institute of Technology, Department of Computer Science, Haifa, Israel, October 1985.

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 109 KB