Combine and conquer: relating BIP and Reo (Q347371)

From MaRDI portal





scientific article; zbMATH DE number 6658137
Language Label Description Also known as
English
Combine and conquer: relating BIP and Reo
scientific article; zbMATH DE number 6658137

    Statements

    Combine and conquer: relating BIP and Reo (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    30 November 2016
    0 references
    coordination
    0 references
    formal translations
    0 references
    correctness proofs
    0 references
    BIP
    0 references
    Reo
    0 references
    0 references
    0 references

    Identifiers