Complexity Results for Checking Distributed Implementability

Keijo Heljanko, Alin Stefanescu

    Research output: Working paperProfessional

    6 Citations (Scopus)
    Original languageEnglish
    Place of PublicationStuttgart, Saksa
    Publication statusPublished - 2004
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTechnical Report
    PublisherInstitute of Formal Methods in Computer Science, University of Stuttgart
    No.05/2004

    Keywords

    • distributed systems
    • synthesis

    Cite this