Interaction Categories

This publication has 15 references indexed in Scilit:

• *-Autonomous categories and linear logic
  Mathematical Structures in Computer Science, 1991
• Cartesian bicategories I
  Journal of Pure and Applied Algebra, 1987
• Linear logic
  Theoretical Computer Science, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Defining liveness
  Information Processing Letters, 1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Sequential algorithms on concrete data structures
  Theoretical Computer Science, 1982
• Domains for denotational semantics
  Published by Springer Nature ,1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981