Reaction graph
type: Item
instance of: scholarly article
title: Reaction graph
zbMATH Open document ID: 0910.68073
DOI: 10.1007/BF02946493
author: Yuxi Fu
published in: Journal of Computer Science and Technology
publication date: 1998-12-02T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 1228836
zbMATH Keywords: reaction graphs
zbMATH Keywords: rewriting rules
MaRDI profile type: Publication
cites work: Linear logic
cites work: Q4495851
cites work: Computational interpretations of linear logic
cites work: Proofs as processes
cites work: On the \(\pi\)-calculus and linear logic
cites work: Interaction combinators
cites work: The chemical abstract machine
cites work: A calculus of mobile processes. I
cites work: Q3907077
cites work: Algebraic theories for name-passing calculi
cites work: On reduction-based process semantics
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q4038690
cites work: Plain CHOCS. A second generation calculus for higher order processes
cites work: A theory of higher order communicating systems
cites work: Symmetric \(\pi\)-calculus
full work available at URL: https://doi.org/10.1007/bf02946493
OpenAlex ID: W3192904815
description: scientific article; zbMATH DE number 1228836