Specifying communication in distributed information systems (Q1977077)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specifying communication in distributed information systems
scientific article

    Statements

    Specifying communication in distributed information systems (English)
    0 references
    0 references
    0 references
    9 May 2000
    0 references
    specification of distributed information systems
    0 references
    distributed logic
    0 references
    temporal logic
    0 references
    communication among sites
    0 references
    low-level logic
    0 references
    high-level logic
    0 references
    institutions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references