Protocols Specified in the Causal Language, C+

To compile and query against the examples below, obtain a copy of the causal calculator CCALC and follow instructions therein.

• TWIST Examples
  • Protocol ontology: protocol_ontology_simple.ncl
  • Generic price discovery protocol: price_discovery.ncl
• MAD-P Purchase Example
  • Protocol ontology: upper-onto.ncl
  • Order protocol: order.ncl
  • Ship protocol: ship.ncl
  • Payment protocol: pay.ncl
  • Purchase protocol specification in MAD-P: pur.madp
  • Purchase protocol MAD-P translated to C+: pur.ncl
• Concurrent and complex commitments examples
  • Protocol ontology with handling for concurrent commitment operations: protocol-ontology.ncl
  • Order protocol: order.ncl