✦ LIBER ✦

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

✍ Scribed by Pfenning, Frank

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

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 || 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 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 Computational Structures Volume 5504 || Minimal Cost Reachability/Coverability in Priced Timed Petri Nets

✍ de Alfaro, Luca 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 301 KB

[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 Computational Structures Volume 6604 || What Do Reversible Programs Compute?

✍ Hofmann, Martin 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 271 KB

This Book Constitutes The Refereed Proceedings Of The 14th International Conference On Foundations Of Software Science And Computational Structures, Fossacs 2011, Held In Saarbrücken, Germany, March 26—april 3, 2011, As Part Of Etaps 2011, The European Joint Conferences On Theory And Practice Of Sof