Programming and Software Engineering

Formal Techniques for Distributed Systems

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Editors: Beyer, Dirk, Boreale, Michele (Eds.)

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-38592-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $108.00
price for USA
  • ISBN 978-3-642-38591-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.

Table of contents (21 chapters)

  • Analyzing Interactions of Asynchronously Communicating Software Components

    Bultan, Tevfik

    Pages 1-4

  • Formal Analysis of a Distributed Algorithm for Tracking Progress

    Abadi, Martín (et al.)

    Pages 5-19

  • A Case Study in Formal Verification Using Multiple Explicit Heaps

    Mostowski, Wojciech

    Pages 20-34

  • Parameterized Verification of Track Topology Aggregation Protocols

    Feo-Arenis, Sergio (et al.)

    Pages 35-49

  • Monitoring Networks through Multiparty Session Types

    Bocchi, Laura (et al.)

    Pages 50-65

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-38592-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $108.00
price for USA
  • ISBN 978-3-642-38591-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques for Distributed Systems
Book Subtitle
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Editors
  • Dirk Beyer
  • Michele Boreale
Series Title
Programming and Software Engineering
Series Volume
7892
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-642-38592-6
DOI
10.1007/978-3-642-38592-6
Softcover ISBN
978-3-642-38591-9
Edition Number
1
Number of Pages
XIV, 321
Number of Illustrations and Tables
66 b/w illustrations
Topics