Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Concurrent computing

Known as: Concurrent programming language, COPL, Concurrent programming languages 
Concurrent computing is a form of computing in which several computations are executed during overlapping time periods—concurrently—instead of… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
A blockchain is a distributed ledger for recording transactions, maintained by many nodes without central authority through a… Expand
  • table 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Abstract As an alternative to planning, an approach to high-level agent control based on concurrent program execution is… Expand
  • figure 1
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The PVM system is a programming environment for the development and execution of large concurrent or parallel applications that… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1986
Highly Cited
1986
  • Vaughan R. Pratt
  • International Journal of Parallel Programming
  • 1986
  • Corpus ID: 12178098
Concurrency has been expressed variously in terms of formal languages (typically via the shuffle operator), partial orders, and… Expand
  • figure 2
Is this relevant?
Highly Cited
1985
Highly Cited
1985
  • Gul A. Agha
  • MIT Press series in artificial intelligence
  • 1985
  • Corpus ID: 8988447
Abstract : A foundational model of concurrency is developed in this thesis. It examines issues in the design of parallel systems… Expand
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… Expand
  • table 1
Is this relevant?
Highly Cited
1983
Highly Cited
1983
A method for specifying program modules in a concurrent program is described. It is based upon temporal logic, but uses new kinds… Expand
  • figure 1
  • figure 2
  • figure 6
  • figure 9
Is this relevant?
Highly Cited
1981
Highly Cited
1981
The formalism of Temporal Logic is suggested as an appropriate tool for formalizing the semantics of concurrent programs. A… Expand
Is this relevant?
Highly Cited
1965
Highly Cited
1965
A number of mainly independent sequential-cyclic processes with restricted means of communication with each other can be made in… Expand
Is this relevant?