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
2002
Highly Cited
2002
CSP Networking for Java (JCSP.net)
JCSP is a library of Java packages providing an extended version of the CSP/occam model for Communicating Processes. The current… 
Highly Cited
1997
Highly Cited
1997
On Correctness Issues in Conceptual Modelling of Workflows
The conceptual modeling of workflows is the first, and arguably the most important, step towards understanding business processes… 
Highly Cited
1995
Highly Cited
1995
An executable specification, analyzer and verifier for RMO (relaxed memory order)
The Murp description language and verijcation system for$nitestate concurrent system is applied to the problem of speclfiing a… 
Highly Cited
1992
Highly Cited
1992
MCP: a protocol for coordination and temporal synchronization in multimedia collaborative applications
  • R. Yavatkar
  • [] Proceedings of the 12th International…
  • 1992
  • Corpus ID: 37960432
The multiflow conversation protocol (MCP), which provides two communication abstractions is discussed. MCP provides a token-based… 
Highly Cited
1992
Highly Cited
1992
Configuring object-based distributed programs in REX
The popularity of the object-oriented programming paradigm has stimulated research into its use for parallel and distributed… 
Highly Cited
1990
Highly Cited
1990
Object-oriented specification of reactive systems
A novel approach to the operational specification of concurrent systems that leads to an object-oriented specification language… 
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… 
Highly Cited
1984
Highly Cited
1984
An implementation of GEM: supporting a semantic data model on a relational back-end.
This paper presents a simple approach for extending the relational system INGRES into one supporting a semantic data model it… 
Highly Cited
1981
Highly Cited
1981
A Two-Level Pipelined Systolic Array for Convolutions
Pipelining computations over a large array of cells has been an important feature of systolic arrays. To achieve even higher… 
Highly Cited
1978
Highly Cited
1978
A Synthesis Rule for Concurrent Systems
Concurrent (hardware and software) systems can become extremely complex due to the existence of multiple loci of control… 
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)