Skip to search formSkip to main contentSkip to account menu

Indeterminacy in concurrent computation

Known as: Actor model, mathematical logic, and physics, Actor model, mathematical logic, and quantum physics 
Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation. Computation is an area in which… 
Wikipedia (opens in a new tab)

Related topics

Related topics

20 relations
ACM Computing SurveysActor modelActor model theoryArbiter (electronics)

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory… 
Highly Cited
2006
Highly Cited
2006
Design of a Statically Balanced Tensegrity Mechanism
The combination of static balancing and tensegrity structures has resulted in a new class of mechanisms: Statically Balanced… 
Highly Cited
2005
Highly Cited
2005
A graphical tabular model for rule-based logic programming and verification
New trends in development of databases and expert systems seems to underline the role of graphical specification tools, visual… 
Highly Cited
2004
Highly Cited
2004
CONSUMER‐CONTROLLED COMMUNITY STATES ON GULF OF MAINE ROCKY SHORES
Mussel beds and algal canopies on Gulf of Maine (USA) rocky shores have been hypothesized to represent stochastically determined… 
Review
2003
Review
2003
Classification of Emotions in Internet Chat: An Application of Machine Learning Using Speech Phonemes
This article reports our progress in the classification of expressions of emotion in network-based chat conversations. Emotion… 
Highly Cited
2001
Highly Cited
2001
KAPOSI’S SARCOMA–ASSOCIATED HERPESVIRUS-LIKE DNA SEQUENCES IN AIDS-RELATED BODY-CAVITY–BASED LYMPHOMAS
Background. DNA fragments that appeared to belong to an unidentified human herpesvirus were recently found in more than 90… 
Highly Cited
2000
Highly Cited
2000
Complexity and Irony in Policing and Protesting: The World Trade Organization in Seattle
Introduction DURING A LARGE DEMONSTRATION AGAINST THE WORLD TRADE ORGANIZATION in Seattle, tear gas fired by police affected many… 
Highly Cited
1994
Highly Cited
1994
Matching Point Features with Ordered Geometric, Rigidity, and Disparity Constraints
This correspondence presents a matching algorithm for obtaining feature point correspondences across images containing rigid… 
Highly Cited
1988
Highly Cited
1988
Decision, Probability, and Utility : Selected Readings
1. Introduction: Bayesian decision theory - foundations and problems Peter Gardenfors, and Nils-Eric Sahlin Part I. Foundations… 
Highly Cited
1986
Highly Cited
1986
Paleomagnetic results from the TRiassic of the Yangtze Platform
Two widely separated localities have been sampled from Triassic Formations of the Yangtze platforms. The first is from the border… 
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)