A basic algebra of stateless connectors
type: Item
instance of: scholarly article
title: A basic algebra of stateless connectors
zbMATH Open document ID: 1153.68331
author: Roberto Bruni
author: Ivan Lanese
author: Ugo Montanari
published in: Theoretical Computer Science
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5083521
zbMATH Keywords: connectors
zbMATH Keywords: synchronization
zbMATH Keywords: axiomatization
zbMATH Keywords: normal form
describes a project that uses: Reo
describes a project that uses: UNITY
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.07.005
OpenAlex ID: W2135173989
cites work: Reo: a channel-based coordination model for component composition
cites work: Recent Trends in Algebraic Development Techniques
cites work: Network algebra for asynchronous dataflow∗
cites work: Q4673419
cites work: Q4941924
cites work: Normal forms for algebras of connections.
cites work: Algebra and Coalgebra in Computer Science
cites work: Q3485876
cites work: Q4692502
cites work: Connector colouring. I: Synchronisation and context dependency
cites work: An algebraic presentation of term graphs, via gs-monoidal categories
cites work: An algebraic semantics for structured transition systems and its application to logic programs
cites work: Generic Programming
cites work: Categorical semantics of parallel program design
cites work: Q4513619
cites work: Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
cites work: Q3777424
cites work: Bicategories of processes
cites work: Interaction combinators
cites work: Q4038716
cites work: Q5639839
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: A calculus of communicating systems
cites work: Q4791828
cites work: Bisimilarity of open terms.
cites work: Q4492940
DOI: 10.1016/J.TCS.2006.07.005
description: scientific article; zbMATH DE number 5083521