A relation algebraic approach to interaction categories (Q1961872): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q3992552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995720 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Squares and rectangles in relation categories. Three cases: Semilattice, distributive lattice and Boolean non-unitary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relational Methods in Computer Science / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5810602 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relation algebraic domain constructions / rank
 
Normal rank

Revision as of 12:27, 29 May 2024

scientific article
Language Label Description Also known as
English
A relation algebraic approach to interaction categories
scientific article

    Statements

    A relation algebraic approach to interaction categories (English)
    0 references
    0 references
    21 June 2000
    0 references
    interaction categories
    0 references
    synchronization trees
    0 references
    concurrent system specifications
    0 references
    unitary division allegory
    0 references
    time-extended allegories
    0 references
    strongly guarded functors
    0 references

    Identifiers