Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs Ying Mingsheng Heftet / 2012 / Engelsk
Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs Ying Mingsheng Innbundet / 2001 / Engelsk
