Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Programming and Software Engineering) - Softcover

 
9783030906351: Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Programming and Software Engineering)
Softcover
ISBN 10: 3030906353 ISBN 13: 9783030906351
Publisher: Springer, 2021

Synopsis

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.


The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. 
Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2021
Language
English
ISBN 10 
3030906353
ISBN 13 
9783030906351
Binding
Paperback
Edition number
1
Number of pages
188
Editor
Salaün Gwen, Wijs Anton