An extensional treatment of lazy data flow deadlock (Q671995): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q3942370 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3911367 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatic basis for computer programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4054644 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3244810 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3729999 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial Metric Topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4060097 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extensional treatment of dataflow deadlock / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4138082 / rank
 
Normal rank

Revision as of 10:14, 27 May 2024

scientific article
Language Label Description Also known as
English
An extensional treatment of lazy data flow deadlock
scientific article

    Statements

    An extensional treatment of lazy data flow deadlock (English)
    0 references
    0 references
    27 February 1997
    0 references
    semantics of data flow
    0 references
    program correctness
    0 references
    data flow languages
    0 references
    partial metric spaces
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers