TRADITIONAL GAMES ON CHARACTER BUILDING: INTEGRATING HIDE AND SEEK ON LEARNING


FTMPST: Fault-Tolerant Multiparty Session Types

Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties.One important such property is progress, i.e., the absence of Hand Strap deadlock.Distributed algorithms often resemble multiparty communication protocols.But proving their properties, in particular termination that

read more