The parties are developing monitor based implementations to determine deadlocks within the manifest sharing type systems developed at CMU. The implementations are in terms of the Concurrent C0 language.  The Mitchell Merritt Algorithm and the Chain Smokers algorithms have been developed. Currently, we are looking at distributed consensus algorithms such as Paxos and Raft. Once we have these implementations in place, we can devise a general solution for monitor instrumentation deduced from b-API descriptions. This secondment was related to tasks T3.4 (Static Verification of b-APIs consumers) and T3.5 (Dynamic Verification of b-APIs Implementations)