Categorial Semantics of a Solution to Distributed Dining Philosophers Problem.

Zhen You, Jinyun Xue, Shi Ying

Browse the full FAW paper archive.