A Process Algebraic View of In/Out Prisoners.

Roberto Bruni

Browse the full ISoLA paper archive.