Motion Session Types for Robotic Interactions (Brave New Idea Paper)

Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey. Motion Session Types for Robotic Interactions (Brave New Idea Paper). In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Abstract

Abstract is missing.