Automatic Generation of CCS Specifications for Resource Sharing Problems.

Mario R. F. Benevides, Marcelo Sihman

Browse the full OPODIS paper archive.