Orchestrating Transactions in Join Calculus*

This publication has 11 references indexed in Scilit:

• Configuration structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Orchestrating Transactions in Join Calculus*
  Published by Springer Nature ,2002
• Transactions and Zero-Safe Nets
  Published by Springer Nature ,2001
• Zero-safe net models for transactions in Linda1 1Research supported by the TMR Network GETGRATS and by the MURST Project TOSCA.
  Electronic Notes in Theoretical Computer Science, 2001
• A Framework for Analyzing Mobile Transaction Models
  Journal of Database Management, 2001
• High-Level Petri Nets as Type Theories in the Join Calculus
  Published by Springer Nature ,2001
• Zero-Safe Nets: Comparing the Collective and Individual Token Approaches
  Information and Computation, 2000
• Zero-Safe Nets, or Transition Synchronization Made Simple
  Electronic Notes in Theoretical Computer Science, 1997
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Petri Nets
  Published by Springer Nature ,1985