Concurrency (computer science)
Semantic Scholar uses AI to extract papers important to this topic.
- European Journal of Operational Research
The Benders decomposition algorithm has been successfully applied to a wide range of difficult optimization problems.This paper… (More)
Your free lunch will soon be over. What can you do about it? What are you doing about it. The major processor manufacturers and… (More)
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in… (More)
Leveraging the full power of multicore processors demands newtools and new thinking from the software industry.Concurrency has… (More)
- ACM Trans. Program. Lang. Syst.
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent… (More)
Groupware systems are computer-based systems that support two or more users engaged in a common task, and that provide an… (More)
This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with… (More)
- International Journal of Parallel Programming
Concurrency has been expressed variously in terms of formal languages (typically via the shuffle operator), partial orders, and… (More)
Since a nondeterministic and concurrent program may, in general, communicate repeatedly with its environment, its meaning cannot… (More)
- Theoretical Computer Science
The paper is concerned with ways in which fair concurrency can be modelled using notations for omega-regular languages languages… (More)