Behavioural Types Inspired by Cellular Thresholds.

Bogdan Aman, Gabriel Ciobanu

Browse the full SEFM paper archive.