具有线程类的面向对象微积分的堆抽象

埃里卡·阿布拉哈姆,安德烈亚斯·格吕纳,马丁·斯特芬.具有线程类的面向对象微积分的堆抽象.阿诺德·贝克曼,乌尔里希·伯杰,Benedikt Löwe公司,约翰·V·塔克,编辑,计算障碍的逻辑方法,第二届欧洲可计算性会议,2006年CiE,英国斯旺西,2006年6月30日至7月5日,会议记录.第3988卷,共页计算机科学课堂讲稿,页1-10、施普林格、,2006 [美国国防部]

摘要

缺少摘要。