Concurrency (computer science)

Known as: Concurrency, Concurrency theory, Concurrent system 
In computer science, concurrency is the decomposability property of a program, algorithm, or problem into order-independent or partially-ordered… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
The Benders decomposition algorithm has been successfully applied to a wide range of difficult optimization problems.This paper… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
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)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Leveraging the full power of multicore processors demands newtools and new thinking from the software industry.Concurrency has… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A concurrent object is a data object shared by concurrent processes. Linearizability is a correctness condition for concurrent… (More)
  • figure 1
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Groupware systems are computer-based systems that support two or more users engaged in a common task, and that provide an… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1989
Highly Cited
1989
This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Concurrency has been expressed variously in terms of formal languages (typically via the shuffle operator), partial orders, and… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Since a nondeterministic and concurrent program may, in general, communicate repeatedly with its environment, its meaning cannot… (More)
  • table 1
Is this relevant?
Highly Cited
1981
Highly Cited
1981
The paper is concerned with ways in which fair concurrency can be modelled using notations for omega-regular languages languages… (More)
Is this relevant?