A Connector Algebra for P/T Nets Interactions

This publication has 21 references indexed in Scilit:

• A non-interleaving process calculus for multi-party synchronisation
  Electronic Proceedings in Theoretical Computer Science, 2009
• A basic algebra of stateless connectors
  Theoretical Computer Science, 2006
• Compositionality through an operational semantics of contexts
  2005
• Compositional semantics for open Petri nets based on deterministic processes
  Mathematical Structures in Computer Science, 2005
• Reo: a channel-based coordination model for component composition
  Mathematical Structures in Computer Science, 2004
• Dynamic connectors for concurrency
  Theoretical Computer Science, 2002
• Reaction and control I. Mixing additive and multiplicative network algebras
  Logic Journal of the IGPL, 1998
• Categorical semantics of parallel program design
  Science of Computer Programming, 1997
• Foundations for the study of software architecture
  ACM SIGSOFT Software Engineering Notes, 1992
• An algebraic semantics for structured transition systems and its application to logic programs
  Theoretical Computer Science, 1992