Correspondence assertions for process synchronization in concurrent communications (Q4676156)

From MaRDI portal
scientific article; zbMATH DE number 2164310
Language Label Description Also known as
English
Correspondence assertions for process synchronization in concurrent communications
scientific article; zbMATH DE number 2164310

    Statements

    Correspondence assertions for process synchronization in concurrent communications (English)
    0 references
    0 references
    0 references
    0 references
    3 May 2005
    0 references
    0 references
    0 references

    Identifiers