Automatic Generation of CCS Specifications for Resource Sharing Problems.

Mario R. F. Benevides Marcelo Sihman Automatic Generation of CCS Specifications for Resource Sharing Problems. 111-122 1997 conf/opodis/1997 OPODIS db/conf/opodis/opodis97.html#BenevidesS97