✦ LIBER ✦

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

✍ Scribed by Pfenning, Frank

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

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 || Bounded Context-Switching and Reentrant Locking

✍ Pfenning, Frank 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 247 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 2303 || A Calculus of Circular Proofs and Its Categorical Semantics

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

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), th