Transactions and contracts based on reaction systems

DOI10.1016/J.TCS.2021.07.012MaRDI QIDQ2044946zbMATH OpenOpenAlexFDO

Authors 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

contractseffect equivalencereaction systemsresourcestransactional interactive processes

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Contract-oriented computing in CO₂
• Reaction systems
• Contracts, games, and refinement.
• scientific article; zbMATH DE number 1231590
• Contracts for Mobile Processes

Cites work

• A Compositional Semantics of Reaction Systems with Restriction
• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
• A tour of reaction systems
• Automata for Specifying and Orchestrating Service Contracts
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• Conditional rewriting logic as a unified model of concurrency
• Contracts as games on event structures
• Evolving reaction systems
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4124977 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• Introduction to bisimulation and coinduction
• Linear logic
• Minimal reaction systems
• Networks of reaction systems
• Reaction systems
• Reaction Systems and Enabling Equivalence
• Reaction systems made simple. A normal form and a classification theorem
• Reaction systems with duration
• Reaction systems with influence on environment
• Reaction Systems, Transition Systems, and Equivalences
• Simple reaction systems and their classification

Cited in

(3)

• Reaction systems with influence on environment
• Flexible specification of interoperable transactions
• Networks of reaction systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2044946)