Department of Computer Science, University of California, Los Angeles Los Angeles, California 90095, USA;
event; trace; composition; process; true concurrency; I/O-PAR;
机译:造血干细胞和造血癌细胞的归巢和动员是镜像过程,利用相似的信号传导途径并发:循环癌细胞构成了与化疗和抗谱系特异性抗体同时治疗的理想靶点
机译:有限递归过程的有界性分析。一,并发过程
机译:CSIM〜2:使用依赖保证的并发系统的组成自验证
机译:概率并发过程组成验证的证明系统
机译:用于验证并发数据结构的组成抽象
机译:组合放松并发
机译:概率并发过程组合验证的证明系统
机译:寻求组合性:对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性