Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10854)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): FORTE: International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Conference proceedings info: FORTE 2018.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 papers)
-
Front Matter
-
Back Matter
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
-
Technische Universität Dresden, Dresden, Germany
Christel Baier
-
Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal
Luís Caires
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
