Celebrate the holidays with Apress Access for just $/£/€ 99!

Programming and Software Engineering IFIP-LNCS Volumes

Formal Techniques for Distributed Objects, Components, and Systems

38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

Editors: Baier, Christel, Caires, Luís (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-319-92612-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-319-92611-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.

The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Table of contents (11 chapters)

Table of contents (11 chapters)
  • A Distributed Coordination Infrastructure for Attribute-Based Interaction

    Pages 1-20

    Alrahman, Yehia Abd (et al.)

  • Applied Choreographies

    Pages 21-40

    Giallorenzo, Saverio (et al.)

  • Monotonic Prefix Consistency in Distributed Systems

    Pages 41-57

    Girault, Alain (et al.)

  • A Modest Security Analysis of Cyber-Physical Systems: A Case Study

    Pages 58-78

    Lanotte, Ruggero (et al.)

  • Relating Process Languages for Security and Communication Correctness (Extended Abstract)

    Pages 79-100

    Nantes, Daniele (et al.)

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-319-92612-4
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-319-92611-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques for Distributed Objects, Components, and Systems
Book Subtitle
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Editors
  • Christel Baier
  • Luís Caires
Series Title
Programming and Software Engineering
Series Volume
10854
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-319-92612-4
DOI
10.1007/978-3-319-92612-4
Softcover ISBN
978-3-319-92611-7
Edition Number
1
Number of Pages
XI, 197
Number of Illustrations
2079 b/w illustrations, 16 illustrations in colour
Topics