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
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
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… 
Review
1993
Review
1993
Abstraction and modularity mechanisms for concurrent computing
The Actor model programming language concept, which provides basic building blocks for a wide variety of computational structures… 
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
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)