Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13910)
Conference series link(s): FORTE: International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Conference proceedings info: FORTE 2023.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, access via your institution.
Table of contents (13 papers)
-
Front Matter
-
Concurrent Programming
-
Front Matter
-
-
Probabilities, Time and other Resources
-
Front Matter
-
-
Back Matter
About this book
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.
The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.
Keywords
- analysis of computer systems
- concurrency
- distributed systems
- formal methods
- program semantics
- verification
Editors and Affiliations
-
University of Twente, Enschede, The Netherlands
Marieke Huisman
-
NOVA School of Science and Technology and NOVA LINCS, Caparica, Portugal
António Ravara
Bibliographic Information
Book Title: Formal Techniques for Distributed Objects, Components, and Systems
Book Subtitle: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
Editors: Marieke Huisman, António Ravara
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-35355-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2023
Softcover ISBN: 978-3-031-35354-3Published: 10 June 2023
eBook ISBN: 978-3-031-35355-0Published: 09 June 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 225
Number of Illustrations: 29 b/w illustrations, 51 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems
-
Published in cooperation with
http://www.ifip.org/
