@article {3236,
	title = {Working Note on a Type Checking Algorithm for Behavioral Separation Types},
	year = {2013},
	month = {01/2013},
	institution = {Universidade Nova de Lisboa},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-runs.pdf},
	author = {Lu{\'\i}s Caires and Jo{\~a}o Costa Seco}
}
