Formal techniques for distributed objects, components, and systems. 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denm

DOI10.1007/978-3-030-21759-4zbMath1410.68019OpenAlexW3012133978MaRDI QIDQ2419705

No author found.

Publication date: 14 June 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21759-4

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Distributed systems (68M14)

Related Items (2)

Certification of an exact worst-case self-stabilization time ⋮ Quasi-optimal partial order reduction

This page was built for publication: Formal techniques for distributed objects, components, and systems. 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denm