A transition system semantics for the control-driven coordination language MANIFOLD (Q1575145): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: A layered semantics for a parallel object-oriented language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coordination languages for parallel programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: A process algebraic view of Linda coordination primitives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using coordination to parallelize sparse-grid methods for 3-D CFD problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generative communication in Linda / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4355684 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interactive foundations of computing / rank
 
Normal rank

Latest revision as of 13:09, 30 May 2024

scientific article
Language Label Description Also known as
English
A transition system semantics for the control-driven coordination language MANIFOLD
scientific article

    Statements

    A transition system semantics for the control-driven coordination language MANIFOLD (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    21 August 2000
    0 references
    0 references
    0 references
    0 references
    0 references
    parallel computing
    0 references
    coordination languages
    0 references
    operational semantics
    0 references
    transition system semantics
    0 references
    models of communication
    0 references