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
2008
Highly Cited
2008
A Fundamental Turn Toward Concurrency in Software
Your free lunch will soon be over. What can you do about it? What are you doing about it. The major processor manufacturers and… 
Highly Cited
2004
Highly Cited
2004
HTN planning for Web Service composition using SHOP2
Highly Cited
2002
Highly Cited
2002
Modeling impacts of process architecture on cost and schedule risk in product development
To gain competitive leverage, firms that design and develop complex products seek to increase the efficiency and predictability… 
Highly Cited
1998
Highly Cited
1998
Integrating multimedia applications in hard real-time systems
This paper focuses on the problem of providing efficient run-time support to multimedia applications in a real-time system, where… 
Highly Cited
1996
Highly Cited
1996
Partial-Order Methods for the Verification of Concurrent Systems
Concurrent systems and semantics.- Using partial orders to tackle state explosion.- Persistent sets.- Sleep sets.- Verification… 
Highly Cited
1996
Highly Cited
1996
Executable object modeling with statecharts
  • D. HarelEran Gery
  • Proceedings of IEEE 18th International Conference…
  • 1996
  • Corpus ID: 62405911
This paper reports on an effort to develop an integrated set of diagrammatic languages for modeling object-oriented systems, and… 
Highly Cited
1995
Highly Cited
1995
Correction to "Specification and Analysis of System Architecture Using Rapide"
Rapide is an event-based, concurrent, object-oriented language specifically designed for prototyping system architectures. Two… 
Review
1993
Review
1993
Object-oriented programming in the BETA programming language
Introduction - benefits of object-orientation, object-oriented programming and BETA introduction to basic concepts - perspectives… 
Highly Cited
1990
Highly Cited
1990
A stubborn attack on state explosion
  • A. Valmari
  • Formal Methods Syst. Des.
  • 1990
  • Corpus ID: 35168464
This article presents theLTL-preserving stubborn set method for reducing the amount of work needed in the automatic verification… 
Highly Cited
1981
Highly Cited
1981
System Modelling with High-Level Petri Nets
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)