Normal forms for algebras of connections.
type: Item
instance of: scholarly article
title: Normal forms for algebras of connections.
zbMATH Open document ID: 1061.68110
DOI: 10.1016/S0304-3975(01)00318-8
author: Roberto Bruni
author: Fabio Gadducci
author: Ugo Montanari
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 18D10
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1857004
zbMATH Keywords: Concurrent and distributed systems
zbMATH Keywords: Diagrammatic specification techniques
zbMATH Keywords: Graphical formalisms
describes a project that uses: Maude
MaRDI profile type: Publication
cites work: Q4890709
cites work: LEAN: An intermediate language based on graph rewriting
cites work: Q4222992
cites work: Q4222985
cites work: Q4499237
cites work: Q3485876
cites work: Classes of finite relations as initial abstract data types. I
cites work: Maude: specification and programming in rewriting logic
cites work: Q4362962
cites work: An algebraic presentation of term graphs, via gs-monoidal categories
cites work: Q4941927
cites work: Axiomatizing the algebra of net computations and processes
cites work: Tile formats for located and mobile systems.
cites work: Q3839056
cites work: Q4499230
cites work: Q4219030
cites work: Q4513619
cites work: Q3024908
cites work: Q3931190
cites work: Bicategories of processes
cites work: Q4373555
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q5639839
cites work: Q5655527
cites work: Q3839051
cites work: Q3839052
cites work: Q4371024
cites work: Calculi for interaction
cites work: Contextual nets
cites work: Graph rewriting, constraint solving and tiles for coordinating distributed systems
cites work: Q4090505
cites work: Premonoidal categories and notions of computation
cites work: Categories of partial maps
cites work: An axiomatization of the algebra of Petri net concatenable processes
cites work: On flowchart theories. II: The nondeterministic case
cites work: Q4550552
description: scientific article; zbMATH DE number 1857004