✦ LIBER ✦

[Lecture Notes in Computer Science] STACS 87 Volume 247 || The derivation of on-the-fly garbage collection algorithms from distributed termination detection protocols

✍ Scribed by Brandenburg, Franz J.; Vidal-Naquet, Guy; Wirsing, Martin

Book ID: 119947094
Publisher: Springer Berlin Heidelberg
Year: 1987
Weight: 569 KB
Category: Article
ISBN: 3540474196
DOI: 10.1007/BFb0039626

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Algo

[Lecture Notes in Computer Science] Algorithms, Concurrency and Knowledge Volume 1023 || Detecting distributed termination in the presence of node failure

✍ Kanchanasut, Kanchana; Lévy, Jean-Jacques 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 764 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 234 KB

This Book Constitutes The Refereed Proceedings Of The 12th Ifip Wg 6.1 International Conference On Formal Methods For Open Object-based Distributed Systems, Fmoods 2010, And The 30th Ifip Wg 6.1 Formal Techniques For Networked And Distributed Systems, Forte 2010, Held In Amsterdam, The Netherlands,