可执行行为和微积分 电子书下载

原名:Executable Behaviour and the -Calculus
作品简介:从可计算性到可执行性。 π 微积分的可执行性。未来的工作。可执行性和行为等效性。如果一个转换系统在行为上等同于 RTM 的转换系统，则该转换系统被称为可执行的。我们将使用保散分支双相似性。铁……