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
Back to
Lab