CSP, partial automata, and coalgebras. (Q1603814): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4041460 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3997501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3777424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4355684 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3773301 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal coalgebra: A theory of systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4251915 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Category-Theoretic Solution of Recursive Domain Equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4857386 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4256311 / rank
 
Normal rank

Latest revision as of 10:52, 4 June 2024

scientific article
Language Label Description Also known as
English
CSP, partial automata, and coalgebras.
scientific article

    Statements

    CSP, partial automata, and coalgebras. (English)
    0 references
    15 July 2002
    0 references
    Communicating sequential processes
    0 references
    Partial automata
    0 references
    Coalgebras
    0 references
    Final automata
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers