Transactions and contracts based on reaction systems
type: Item
instance of: scholarly article
title: Transactions and contracts based on reaction systems
author: Paolo Bottoni
author: Anna Labella
published in: Theoretical Computer Science
publication date: 2021-08-11T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7380850
zbMATH Keywords: reaction systems
zbMATH Keywords: transactional interactive processes
zbMATH Keywords: contracts
zbMATH Keywords: resources
zbMATH Keywords: effect equivalence
MaRDI profile type: Publication
full work available at URL: j.tcs.2021.07.012
OpenAlex ID: W3186669890
cites work: Q3425581
cites work: Q4205065
cites work: Linear logic
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q4714446
cites work: A tour of reaction systems
cites work: Reaction systems with influence on environment
cites work: Reaction Systems with Duration
cites work: Networks of Reaction Systems
cites work: Reaction Systems Made Simple
cites work: Simple reaction systems and their classification
cites work: Minimal Reaction Systems
cites work: Reaction Systems, Transition Systems, and Equivalences
cites work: Introduction to Bisimulation and Coinduction
cites work: A Compositional Semantics of Reaction Systems with Restriction
cites work: Compositional semantics and behavioural equivalences for reaction systems with restriction
cites work: Evolving reaction systems
cites work: Reaction Systems and Enabling Equivalence
cites work: Automata for Specifying and Orchestrating Service Contracts
cites work: Contracts as games on event structures
cites work: Q3030239
cites work: A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
DOI: 10.1016/J.TCS.2021.07.012
description: scientific article; zbMATH DE number 7380850