Protocol Typing, Communication Safety, Pi Calculus, Concurrent Types
Codifying Natural Langauge Tasks
arxiv.orgยท18h
Trainee Action Recognition through Interaction Analysis in CCATT Mixed-Reality Training
arxiv.orgยท18h
Loading...Loading more...
Protocol Typing, Communication Safety, Pi Calculus, Concurrent Types