Reaction systems with self distinction

No abstract is available for this paper.

• Publication year

  2025

• Venue

  Natural Computing

• Publication date

  2025-08-31

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.1007/s11047-025-10050-9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Transactions and contracts based on reaction systems

  2021cited by this paper
• A formal model for ledger management systems based on contracts and temporal logic

  2021cited by this paper
• Simulation of reaction systems by the strictly minimal ones

  2020cited by this paper
• Networks of Reaction Systems

  2020influential reference
• Comparing reactions in reaction systems

  2020influential reference
• Reaction systems with influence on environment

  2019cited by this paper
• Reaction Systems, Transition Systems, and Equivalences

  2018cited by this paper
• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

  2017cited by this paper
• Evolving reaction systems

  2017cited by this paper
• Metabolomics of reef benthic interactions reveals a bioactive lipid involved in coral defence

  2016cited by this paper
• Two-Step Simulations of Reaction Systems by Minimal Ones

  2015cited by this paper
• Model checking temporal properties of reaction systems

  2015cited by this paper
• Simple reaction Systems and their Classification

  2014cited by this paper
• Compositional semantics and behavioural equivalences for reaction systems with restriction

  2014cited by this paper
• Annotation processes for flexible management of contextual information

  2013cited by this paper
• Functions and sequences generated by reaction systems

  2012cited by this paper
• Introduction to Bisimulation and Coinduction

  2011cited by this paper
• A Tour of reaction Systems

  2011cited by this paper
• Reaction Systems with Duration

  2011cited by this paper
• A Note on Causalities in Reaction Systems

  2010cited by this paper
• Reaction Systems

  2007cited by this paper
• Events and modules in reaction systems

  2007cited by this paper
• Observational trees as models for concurrency

  1999cited by this paper
• Calculus of Communicating Systems

  1991cited by this paper
• Algebraic laws for nondeterminism and concurrency

  1985cited by this paper
• Concurrency and Automata on Infinite Sequences

  1981cited by this paper
• A Calculus of Communicating Systems

  1980cited by this paper
• Mathematical Structures in Computer Science, 20(3):319–358. c ○ C.U.P. 2010. Tree-Functors, Determinacy and Bisimulations

  year unknowncited by this paper

• No citing papers are available for this paper.