Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.