Mobile Ambients with Timers and Types.

Bogdan Aman, Gabriel Ciobanu

Browse the full ICTAC paper archive.