University of Illinois has expertise on session types and interfaces, concurrent and distributed computing, sensor networks, formal methods, programming languages, programming synthesis, verification and semantics-based tools. The members of team
Carnegie Melon University brings in the expertise of experts in the field of programming language theory of the principles of programming group (POP group). To the BEHAPI project, the Carnegie
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
The parties worked on studying Partial Identity Monitors, developed at CMU, as a mechanism for enforcing behavioural API properties at runtime. They also investigated ways for having a hybrid approach,
This secondment was related to Task 2.5 in WP2. A characterisation of multiparty session types in intuitionistic linear logic was explored.