Get 40% off our selection of bestselling print books in Engineering through October 31st!

Programming and Software Engineering IFIP-LNCS Volumes

Formal Techniques for Distributed Systems

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Editors: Bruni, Roberto, Dingel, Juergen (Eds.)

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results
see more benefits

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-642-21461-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-642-21460-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

Table of contents (22 chapters)

  • On Global Types and Multi-party Sessions

    Castagna, Giuseppe (et al.)

    Pages 1-28

  • Linear-Time and May-Testing in a Probabilistic Reactive Setting

    Acciai, Lucia (et al.)

    Pages 29-43

  • A Model-Checking Tool for Families of Services

    Asirelli, Patrizia (et al.)

    Pages 44-58

  • Partial Order Methods for Statistical Model Checking and Simulation

    Bogdoll, Jonathan (et al.)

    Pages 59-74

  • Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

    Braitling, Bettina (et al.)

    Pages 75-89

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-642-21461-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-642-21460-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques for Distributed Systems
Book Subtitle
Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings
Editors
  • Roberto Bruni
  • Juergen Dingel
Series Title
Programming and Software Engineering
Series Volume
6722
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-642-21461-5
DOI
10.1007/978-3-642-21461-5
Softcover ISBN
978-3-642-21460-8
Edition Number
1
Number of Pages
XIV, 349
Number of Illustrations and Tables
40 b/w illustrations, 16 illustrations in colour
Topics