Examples

Through several examples this section explains how NPL is applied to model business logic. Tests illustrate how protocols can be tested using the testing framework.