Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533)

From MaRDI portal





scientific article; zbMATH DE number 5632587
Language Label Description Also known as
English
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
scientific article; zbMATH DE number 5632587

    Statements

    Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (English)
    0 references
    0 references
    0 references
    0 references
    13 November 2009
    0 references
    synchronous concurrent algorithms
    0 references
    dynamical systems
    0 references
    many sorted algebras
    0 references
    equational specifications
    0 references
    streams
    0 references
    computability on topological algebras
    0 references
    computable physical systems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers