Formal Techniques for Distributed Systems

• Main Authors: Bruni, Roberto, Dingel, Juergen
• Other Authors: University of Pisa - Università di Pisa, Queen's University Kingston, Canada, TC 6, WG 6.1
• Format: Book
• Language: English
• Published: HAL CCSD 2011
• Subjects: [INFO]Computer Science [cs]; Iceland
• Online Access: https://hal.inria.fr/hal-01583312; https://doi.org/10.1007/978-3-642-21461-5

International audience Book Front Matter of LNCS 6722