Deciding the Bisimilarity of Context-Free Session Types.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Browse the full TACAS paper archive.