Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10854)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FORTE 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 papers)
Other volumes
-
Formal Techniques for Distributed Objects, Components, and Systems
Keywords
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.
Editors and Affiliations
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-92612-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2018
Softcover ISBN: 978-3-319-92611-7Published: 30 May 2018
eBook ISBN: 978-3-319-92612-4Published: 29 May 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 197
Number of Illustrations: 2079 b/w illustrations, 16 illustrations in colour
Topics: Software Engineering, Operating Systems, Programming Languages, Compilers, Interpreters, Systems and Data Security, Computer Communication Networks, Computer System Implementation