数据字上的 µ 演算 电子书下载

原名:µ-calculus on data words
作品简介:托马斯·科尔科姆贝特和阿马尔德夫·曼努埃尔 ＊。 LIAFA，巴黎狄德罗大学。 {thomas.colcombet，amal}@liafa.univ-paris-diderot.fr。 2014 年 4 月 21 日。……