Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
scientific article

    Statements

    Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (English)
    0 references
    0 references
    0 references
    20 March 2017
    0 references
    multiway rendezvous
    0 references
    compilation
    0 references
    process algebras
    0 references
    distributed systems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers