concurrent transaction logic 并发事务逻辑
Concurrent Propositional Projection Temporal Logic 并发命题投影时序逻辑
And hide all this logic in a XmlHttpRequest service, of course, and support multiple concurrent requests.
将这些逻辑抽象并隐藏在XmlHttpRequest服务中,当然要支持多个并发的请求。
It is possible to encapsulate very complex logic without worry about about concurrent accesses.
可以可能地封装十分复杂的逻辑,而不需要担心并行访问。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
这本书的研究与自动机和一元二阶逻辑关系,对自动机类重点描述分布式系统的并发行为。
应用推荐