✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 7273 || Behavioural Equivalences over Migrating Processes with Timers

✍ Scribed by Giese, Holger; Rosu, Grigore

Book ID: 111943702
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 258 KB
Category: Article
ISBN: 3642307930
DOI: 10.1007/978-3-642-30793-5_4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Fuzzy-Timed Automata

✍ Hatcliff, John; Zucca, Elena 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 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,

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 5522 || On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

✍ Lee, David; Lopes, Antónia; Poetzsch-Heffter, Arnd 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 316 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 7892 || Verification of Directed Acyclic Ad Hoc Networks

✍ Beyer, Dirk; Boreale, Michele 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 5522 || A Model-Checking Approach for Service Component Architectures

✍ Lee, David; Lopes, Antónia; Poetzsch-Heffter, Arnd 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 244 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Networked and Distributed Systems - FORTE 2003 Volume 2767 || Formal Security Policy Verification of Distributed Component-Structured Software

✍ König, Hartmut; Heiner, Monika; Wolisz, Adam 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 162 KB

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Compositional Operational Semantics for OWL-S

✍ Bravetti, Mario; Kloul, Leïla; Zavattaro, Gianluigi 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 258 KB