×

移动价值观、新名称和安全通信。 (英语) Zbl 1323.68398号

第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2001年1月17日至19日,英国伦敦,POPL'01。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-336-7)。104-115 (2001).

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68问题55 计算理论中的语义学
94A60型 密码学
PDF格式BibTeX公司 XML格式引用
全文: 内政部