Quantitative extensions of reaction systems based on SOS semantics

L Brodo, R Bruni, M Falaschi, R Gori, F Levi… - Neural Computing and …, 2023 - Springer
Reaction systems (RSs) are a successful natural computing framework inspired by chemical
reaction networks. A RS consists of a set of entities and a set of reactions. Entities can …

[HTML][HTML] FPGA Implementation of Reaction Systems

Z Shang, S Verlan, J Lu, Z Wei, M Zhou - Electronics, 2024 - mdpi.com
Reaction system (RS) belongs to a type of qualitative computing model inspired by
biochemical reactions taking place inside biological cells. It concerns more the interactions …

A framework for monitored dynamic slicing of reaction systems

L Brodo, R Bruni, M Falaschi - Natural Computing, 2024 - Springer
Reaction systems (RSs) are a computational framework inspired by biochemical
mechanisms. A RS defines a finite set of reactions over a finite set of entities. Typically each …

Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics

R Bruni, R Gori, P Milazzo, H Siboulet - Natural Computing, 2024 - Springer
This paper forges a strong connection between two well known computational frameworks
for representing biological systems, in order to facilitate the seamless transfer of techniques …

Transactions and contracts based on reaction systems

P Bottoni, A Labella - Theoretical Computer Science, 2021 - Elsevier
Smart contracts are currently en vogue, thanks to the infrastructure provided by the
blockchain technology. However, their effective use requires that the textual (legalese) …

Reaction mining for reaction systems

A Męski, M Koutny, Ł Mikulski, W Penczek - Natural Computing, 2024 - Springer
Reaction systems are a formal model for computational processing in which reactions
operate on sets of entities (molecules) providing a framework for dealing with qualitative …

Event-based parallel computing-partially ordered event-triggered systems: final report for EPSRC Programme Grant EP/N031768/1

A Brown, D Thomas, W Luk, SW Moore, A Yakovlev… - 2022 - eprints.soton.ac.uk
The final meeting of the Advisory Board for the EPSRC programme grant Event-based
parallel computing-partially ordered event-triggered systems (POETS) will take place on …