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 / Alexey Gotsman, Ana Sokolova (eds.).

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:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2020.
Series:	Lecture notes in computer science ; 12136. LNCS sublibrary. Programming and software engineering.
Subjects:	Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses. Computer network protocols > Congresses. Computer network protocols Electronic data processing > Distributed processing Formal methods (Computer science) Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access