Reaction Systems, Transition Systems, and Equivalences (Q6163618): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
(3 intermediate revisions by 3 users not shown)
Property / Wikidata QID
 
Property / Wikidata QID: Q104379660 / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/978-3-319-98355-4_5 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2800064591 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4289659 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A TOUR OF REACTION SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reaction Systems with Duration / rank
 
Normal rank
Property / cites work
 
Property / cites work: An excursion in reaction systems: from computer science to biology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extremal Combinatorics of Reaction Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ancestors, descendants, and gardens of Eden in reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Evolving reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells / rank
 
Normal rank
Property / cites work
 
Property / cites work: FUNCTIONS DEFINED BY REACTION SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: STABILITY AND CHAOS IN REACTION SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3425581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Events and modules in reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introducing time in reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A graph isomorphism condition and equivalence of reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal verification of parallel programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model checking temporal properties of reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992568 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3907077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3219122 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Natural Computing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functions and sequences generated by reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On State Sequences Defined by Reaction Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal and almost minimal reaction systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two-Step Simulations of Reaction Systems by Minimal Ones / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Revision as of 13:04, 1 August 2024

scientific article; zbMATH DE number 7704712
Language Label Description Also known as
English
Reaction Systems, Transition Systems, and Equivalences
scientific article; zbMATH DE number 7704712

    Statements

    Reaction Systems, Transition Systems, and Equivalences (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    30 June 2023
    0 references
    reaction system
    0 references
    natural computing
    0 references
    interactive computation
    0 references
    transition system
    0 references
    behavioural equivalences
    0 references
    bisimulation
    0 references
    context controller
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers