Transactions and contracts based on reaction systems

DOI10.1016/j.tcs.2021.07.012OpenAlexW3186669890MaRDI QIDQ2044946

Paolo Bottoni, Anna Labella

Publication date: 11 August 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2021.07.012

zbMATH Keywords

contractsresourcesreaction systemseffect equivalencetransactional interactive processes

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Reaction systems with influence on environment ⋮ Networks of Reaction Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Contracts as games on event structures
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Linear logic
• Conditional rewriting logic as a unified model of concurrency
• Reaction systems with influence on environment
• Evolving reaction systems
• A TOUR OF REACTION SYSTEMS
• SIMPLE REACTION SYSTEMS AND THEIR CLASSIFICATION
• Automata for Specifying and Orchestrating Service Contracts
• Reaction Systems with Duration
• Introduction to Bisimulation and Coinduction
• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
• Minimal Reaction Systems
• Reaction Systems and Enabling Equivalence
• Networks of Reaction Systems
• Reaction Systems Made Simple
• A Compositional Semantics of Reaction Systems with Restriction
• Reaction Systems, Transition Systems, and Equivalences

This page was built for publication: Transactions and contracts based on reaction systems