Release 0.78.0

Implementation of “deferred matching” for contracts

An implementation of the deferred matching semantics for contract residuation as described in [CSCC] is provided in the com.deondigital.runtime.deferred package.

The deferred matching implementation does not replace existing functionality for applying events to contracts that’s used by DbLedger and the Corda CSL platform.

CSCC

Andersen, J., Elsborg, E., Henglein, F. et al. Compositional specification of commercial contracts. Int J Softw Tools Technol Transfer 8, 485–516 (2006). https://dl.acm.org/doi/10.5555/3220884.3221003