Concurrency

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

Topic mentions per year

Topic mentions per year

1937-2018
01000200019372017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is… (More)
  • table 1
  • table 3
  • table 2
  • figure 4
  • figure 1
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.<br>Concurrency… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
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
1999
Highly Cited
1999
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very… (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
1987
Highly Cited
1987
Concurrencey Control and Recovery in Database Systems. P.A. Bernstein. Copyright 1987, Addison-Wesley, Reading. Hardcover in fine… (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?
Highly Cited
1979
Highly Cited
1979
Most current approaches to concurrency control in database systems rely on locking of data objects as a control mechanism. In… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?