✦ LIBER ✦

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || Bounded Context-Switching and Reentrant Locking

✍ Scribed by Pfenning, Frank

Book ID: 120982103
Publisher: Springer Berlin Heidelberg
Year: 2013
Weight: 247 KB
Category: Article
ISBN: 3642370756
DOI: 10.1007/978-3-642-37075-5_5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || Reachability of Communicating Timed Processes

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 275 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || On Monadic Parametricity of Second-Order Functionals

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 270 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2303 || Verification for Java’s Reentrant Multithreading Concept

✍ Nielsen, Mogens; Engberg, Uffe 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 308 KB

This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002. The 28 revised full papers presented together with an extended abstract of an invited paper were

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || Pattern Graphs and Rule-Based Models: The Semantics of Kappa

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 354 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 7794 || A Proof System for Compositional Verification of Probabilistic Concurrent Processes

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 284 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || On Garbage and Program Logic

✍ Honsell, Furio; Miculan, Marino 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 167 KB