Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardActor modelBehavior treeBulk synchronous parallel

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
A geometric approach to improve spectrum efficiency for cognitive relay networks
Cognitive radio (CR) enables dynamic spectrum access (DSA). In CR networks (CRNs), unlicensed cognitive users (CUs) can share the… 
Highly Cited
2005
Highly Cited
2005
On the architectural requirements for efficient execution of graph algorithms
Combinatorial problems such as those from graph theory pose serious challenges for parallel machines due to non-contiguous… 
Highly Cited
1992
Highly Cited
1992
An architecture for multi-user software development environments
We present an architecture for multi-user software development environments, covering general, process-centered and rule-based… 
Highly Cited
1990
Highly Cited
1990
Refinement of Actions in Causality Based Models
We consider an operator for refinement of actions to be used in the design of concurrent systems. Actions on a given level of… 
Highly Cited
1989
Highly Cited
1989
Restructuring symbolic programs for concurrent execution on multiprocessors
C scURARE, the program restructurer described in this dissertation, automatically transforms a sequential Lisp program into an… 
Highly Cited
1988
Highly Cited
1988
Combining Static Concurrency Analysis with Symbolic Execution
Static concurrency analysis detects anomalous synchronization patterns in concurrent programs, but may also report spurious… 
Highly Cited
1986
Highly Cited
1986
Concurrent C
Concurrent programming is becoming increasingly important because multicomputers, particularly networks of microprocessors, are… 
Highly Cited
1986
Highly Cited
1986
File Placement on Distributed Computer Systems
Advances in large-scale integrated logic and communication technology coupled with the applications explosion have led to… 
Review
1982
Review
1982
A New Method for Concurrency in B-Trees
In this paper we study the problem of supporting concurrent operations in B-trees and their variants. A survey of previous work… 
Highly Cited
1980
Highly Cited
1980
The Structure of Parallel Algorithms
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)