AOC calculus is asynchronous pi-calculus which is enriched with actor mechanisim and reinterpreted.

  • AOC演算是扩充了Actor机制并且被重新解释了的异步Pi演算。
目录 查词历史