Process synchronisation as fusion (Q2563765): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Variation through enrichment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connected limits, familial representability and Artin glueing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parallel product of event structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3765770 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Enriched categorical semantics for distributed calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3780423 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934579 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metric spaces, generalized logic, and closed categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Petri nets are monoids / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nets, Terms and Formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: ENRICHED CATEGORIES AND COHOMOLOGY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3958648 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3683531 / rank
 
Normal rank

Latest revision as of 15:22, 24 May 2024

scientific article
Language Label Description Also known as
English
Process synchronisation as fusion
scientific article

    Statements

    Process synchronisation as fusion (English)
    0 references
    0 references
    0 references
    0 references
    16 December 1996
    0 references
    process algebras
    0 references
    concurrent processes
    0 references
    interprocess synchronisation
    0 references

    Identifiers

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