A basic algebra of stateless connectors

This publication has 18 references indexed in Scilit:

• Complete Axioms for Stateless Connectors
  Lecture Notes in Computer Science, 2005
• Reo: a channel-based coordination model for component composition
  Mathematical Structures in Computer Science, 2004
• A Coinductive Calculus of Component Connectors
  2003
• Normal forms for algebras of connections
  Theoretical Computer Science, 2002
• An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
  Applied Categorical Structures, 1999
• Normal Forms for Partitions and Relations
  1999
• Network algebra for asynchronous dataflow^∗
  International Journal of Computer Mathematics, 1997
• An algebraic semantics for structured transition systems and its application to logic programs
  Theoretical Computer Science, 1992
• A model for distributed systems based on graph rewriting
  Journal of the ACM, 1987
• Graph-grammars: An algebraic approach
  1973