Formal techniques for distributed objects, components, and systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings /

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques,...

Full description

Bibliographic Details

Corporate Authors:	FORTE Conference Online, International Federated Conferences on Distributed Computing Techniques
Other Authors:	Gotsman, Alexey (Editor), Sokolova, Ana (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham, Switzerland : Springer, 2020
Series:	LNCS sublibrary Programming and software engineering. Lecture notes in computer science ; 12136
Subjects:	Computer network protocols > Congresses Electronic data processing > Distributed processing > Congresses Formal methods (Computer science) > Congresses Méthodes formelles (Informatique) > Congrès Protocoles de réseaux d'ordinateurs > Congrès Traitement réparti > Congrès Computer network protocols Electronic data processing > Distributed processing Formal methods (Computer science) Electronic books Conference papers and proceedings