Concurrent Programs as Strategies in Games

Concurrent Programs as Strategies in Games
复制标题

并发程序作为游戏策略

DOI：
--
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
V. Yakhnis
V. Yakhnis
中科院分区：
--
文献类型：
--
作者：
A. Nerode;A. Yakhnis;V. Yakhnis

文献摘要

被引文献

相似文献

对于程序员来说，运行新编写的并发程序感觉就像是与计算机的比赛，其中计算机是一个邪恶的对手，试图以违反程序规范的方式尽其所能执行程序。我们将这一点转化为数学知识，并将其作为并发编程的基础。
Running a newly written concurrent program feels, to the Programmer, like a contest with the Computer, in which the Computer is a devilish opponent trying its level best to execute the program in such a way that the program specification is violated. We make this into mathematics and into the basis of concurrent programming.