Concurrency and Computability

P. Darondeau

DOI: https://doi.org/10.1007/3-540-53479-2_9

1990-04-23

Abstract:

What problem does this paper attempt to address?

Computation and Concurrency

Yong Wang

2024-09-04

Abstract:We try to clarify the relationship between computation and concurrency. Base on the so-called truly concurrent automata, we introduce communication and more operators, and establish the algebras modulo language equivalence and bisimilarity.

Logic in Computer Science
The Nature of Concurrency

Yong Wang

2023-08-24

Abstract:We try to clarify the relationship between interleaving concurrency and true concurrency, based on the very recent work on truly concurrent process algebra, especially, giving models of true concurrency, such as event structure, Petri net and concurrent Kleene algebra, (truly concurrent) process algebra foundations.

Logic in Computer Science
Deterministic concurrent systems

Samy Abbes

DOI: https://doi.org/10.48550/arXiv.2008.07233

2021-03-17

Abstract:We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterise these systems by means of their analytic combinatorics properties.

Combinatorics,Discrete Mathematics
Non-Computability of Consciousness

Daegene Song

DOI: https://doi.org/10.48550/arXiv.0705.1617

2007-05-11

Abstract:With the great success in simulating many intelligent behaviors using computing devices, there has been an ongoing debate whether all conscious activities are computational processes. In this paper, the answer to this question is shown to be no. A certain phenomenon of consciousness is demonstrated to be fully represented as a computational process using a quantum computer. Based on the computability criterion discussed with Turing machines, the model constructed is shown to necessarily involve a non-computable element. The concept that this is solely a quantum effect and does not work for a classical case is also discussed.

Quantum Physics,Astrophysics,Artificial Intelligence
The correctness of concurrencies in (reversible) concurrent calculi

Clément Aubert

DOI: https://doi.org/10.1016/j.jlamp.2023.100924

IF: 1.088

2024-01-01

Journal of Logical and Algebraic Methods in Programming

Abstract:This article designs a general principle to check the correctness of the definition of concurrency (a.k.a. independence) of events for concurrent calculi. Concurrency relations are central in process algebras, but also two-sided: they are often defined independently on composable and on coinitial transitions, and no criteria exist to assess whether they “interact correctly”. This article starts by examining how reversibility can provide such a correctness of concurrencies criterion, and its implications. It then defines, for the first time, a syntactical definition of concurrency for CCSK, a reversible declension of the calculus of communicating systems. To do so, according to our criterion, requires to define concurrency relations for all types of transitions along two axes: direction (forward or backward) and concomitance (coinitial or composable). Our definition is uniform thanks to proved transition systems and satisfies our sanity checks: square properties, sideways diamonds, but also the reversible checks (reverse diamonds and causal consistency). We also prove that our formalism is either equivalent to or a refinement of pre-existing definitions of concurrency for reversible systems. We conclude by discussing additional criteria and possible future works.

computer science, theory & methods,logic
Introduction to probabilistic concurrent systems

Samy Abbes

DOI: https://doi.org/10.3233/FI-222133

2022-10-11

Abstract:The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustrated on examples. The second part includes contributions. We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative'" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterize these systems by means of their combinatorial properties.

Formal Languages and Automata Theory
Non-deterministic computation and the Jayne-Rogers Theorem

Arno Pauly,Matthew de Brecht

DOI: https://doi.org/10.48550/arXiv.1404.0079

2014-04-01

Logic in Computer Science

Abstract:We provide a simple proof of a computable analogue to the Jayne Rogers Theorem from descriptive set theory. The difficulty of the proof is delegated to a simulation result pertaining to non-deterministic type-2 machines. Thus, we demonstrate that developments in computational models can have applications in fields thought to be far removed from it.
The physical Church-Turing thesis and non deterministic computation over the real numbers

Gilles Dowek

2023-04-19

Abstract:On the real numbers, the notions of a semi-decidable relation and that of an effectively enumerable relation differ. The second only seems to be adequate to express, in an algorithmic way, non deterministic physical theories, where magnitudes are represented by real numbers.

Logic in Computer Science
Computability in Dynamical Systems

Michael Burr,Christian Wolf

2023-11-08

Abstract:In this paper we present an introduction to the area of computability in dynamical systems. This is a fairly new field which has received quite some attention in recent years. One of the central questions in this area is if relevant dynamical objects can be algorithmically presented by a Turing machine. After providing an overview of the relevant objects we discuss recent results concerning the computability of the entropy for symbolic systems and the computability of Julia sets as well as their Brolin-Lyubich measures.

Dynamical Systems
On the formalization of the notion of a concurrent algorithm

C. A. Middelburg

2024-10-23

Abstract:Previous papers give accounts of quests for satisfactory formalizations of the classical informal notion of an algorithm and the contemporary informal notion of an interactive algoritm. In this paper, an attempt is made to generalize the results of the former quest to the contemporary informal notion of a concurrent algorithm. The notion of a concurrent proto-algorithm is introduced. The thought is that concurrent algorithms are equivalence classes of concurrent proto-algorithms under an appropriate equivalence relation. Three equivalence relations are defined. Two of them are deemed to be bounds for an appropriate equivalence relation and the third is likely an appropriate one. The connection between concurrency and non-determinism in the presented setting is also addressed.

Computational Complexity,Data Structures and Algorithms,Logic in Computer Science
An adequacy theorem between mixed powerdomains and probabilistic concurrency

Renato Neves

2024-09-24

Abstract:We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains which combine non-determinism with stochasticity. The theorem itself is formulated via M. Smyth's idea of treating observable properties as open sets of a topological space. One application of our theorem is that it entails semi-decidability w.r.t. whether a concurrent program satisfies an observable property (written in a certain form). This is intimately connected to M. Escardó's conjecture about semi-decidability w.r.t. may and must probabilistic testing.

Logic in Computer Science
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers

Carole Delporte,Hugues Fauconnier,Pierre Fraigniaud,Sergio Rajsbaum,Corentin Travers

2023-09-25

Abstract:The celebrated Asynchronous Computability Theorem of Herlihy and Shavit (STOC 1993 and STOC 1994) provided a topological characterization of the tasks that are solvable in a distributed system where processes are communicating by writing and reading shared registers, and where any number of processes can fail by crashing. However, this characterization assumes the use of full-information protocols, that is, protocols in which each time any of the processes writes in the shared memory, it communicates everything it learned since the beginning of the execution. Thus, the characterization implicitly assumes that each register in the shared memory is of unbounded size. Whether unbounded size registers are unavoidable for the model of computation to be universal is the central question studied in this paper. Specifically, is any task that is solvable using unbounded registers solvable using registers of bounded size? More generally, when at most $t$ processes can crash, is the model with bounded size registers universal? These are the questions answered in this paper.

Distributed, Parallel, and Cluster Computing
Computable Gelfand Duality

Peter Burton,Christopher J. Eagle,Alec Fox,Isaac Goldbring,Matthew Harrison-Trainor,Timothy H. McNicholl,Alexander Melnikov,Teerawat Thewmorakot

2024-02-26

Abstract:We establish a computable version of Gelfand Duality. Under this computable duality, computably compact presentations of metrizable spaces uniformly effectively correspond to computable presentations of unital commutative $C^*$ algebras.

Functional Analysis,Logic
Directed Algebraic Topology and Concurrency

Lisbeth Fajstrup,Eric Goubault,Emmanuel Haucourt,Samuel Mimram,Martin Raussen

DOI: https://doi.org/10.1007/978-3-319-15398-8

2016-01-01

Abstract:This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their analysis. Taking well-known discrete models for concurrent processes in resource management as a point of departure, the book goes on to refine combinatorial and topological models. In the process, it develops tools and invariants for the new discipline directed algebraic topology, which is driven by fundamental research interests as well as by applications, primarily in the static analysis of concurrent programs. The state space of a concurrent program is described as a higher-dimensional space, the topology of which encodes the essential properties of the system. In order to analyse all possible executions in the state space, more than “just” the topological properties have to be considered: Execution paths need to respect a partial order given by the time flow. As a result, tools and concepts from topology have to be extended to take privileged directions into account. The target audience for this book consists of graduate students, researchers and practitioners in the field, mathematicians and computer scientists alike.
Robin Milner's Work on Concurrency: An Appreciation

Samson Abramsky

DOI: https://doi.org/10.48550/arXiv.2206.09250

2022-06-19

Abstract:We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.

Logic in Computer Science
Conversational Concurrency

Tony Garnock-Jones

DOI: https://doi.org/10.17760/D20261862

2024-09-06

Abstract:Concurrent computations resemble conversations. In a conversation, participants direct utterances at others and, as the conversation evolves, exploit the known common context to advance the conversation. Similarly, collaborating software components share knowledge with each other in order to make progress as a group towards a common goal. This dissertation studies concurrency from the perspective of cooperative knowledge-sharing, taking the conversational exchange of knowledge as a central concern in the design of concurrent programming languages. In doing so, it makes five contributions: 1. It develops the idea of a common dataspace as a medium for knowledge exchange among concurrent components, enabling a new approach to concurrent programming. While dataspaces loosely resemble both "fact spaces" from the world of Linda-style languages and Erlang's collaborative model, they significantly differ in many details. 2. It offers the first crisp formulation of cooperative, conversational knowledge-exchange as a mathematical model. 3. It describes two faithful implementations of the model for two quite different languages. 4. It proposes a completely novel suite of linguistic constructs for organizing the internal structure of individual actors in a conversational setting. The combination of dataspaces with these constructs is dubbed Syndicate. 5. It presents and analyzes evidence suggesting that the proposed techniques and constructs combine to simplify concurrent programming. The dataspace concept stands alone in its focus on representation and manipulation of conversational frames and conversational state and in its integral use of explicit epistemic knowledge. The design is particularly suited to integration of general-purpose I/O with otherwise-functional languages, but also applies to actor-like settings more generally.

Programming Languages
The Problem of Programming Language Concurrency Semantics

Mark Batty,Kayvan Memarian,Kyndylan Nienhuis,Jean Pichon-Pharabod,Peter Sewell

DOI: https://doi.org/10.1007/978-3-662-46669-8_12

2015-01-01

Abstract:Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions.Our goal in this paper is to articulate this major open problem as clearly as is currently possible, showing how it arises from the combination of multiprocessor relaxed-memory behaviour and the desire to accommodate current compiler optimisations. We make several novel contributions that each shed some light on the problem, constraining the possible solutions and identifying new difficulties.First we give a positive result, proving in HOL4 that the existing axiomatic model for C/C++11 guarantees sequentially consistent semantics for simple race-free programs that do not use low-level atomics (DRF-SC, one of the core design goals). We then describe the thin-air problem and show that it cannot be solved, without restricting current compiler optimisations, using any per-candidate-execution condition in the style of the C/C++11 model. Thin-air executions were thought to be confined to programs using relaxed atomics, but we further show that they recur when one attempts to integrate the concurrency model with more of C, mixing atomic and nonatomic accesses, and that also breaks the DRF-SC result. We then describe a semantics based on an explicit operational construction of out-of-order execution, giving the desired behaviour for thin-air examples but exposing further difficulties with accommodating existing compiler optimisations. Finally, we show that there are major difficulties integrating concurrency semantics with the C/C++ notion of undefined behaviour.We hope thereby to stimulate and enable research on this key issue.
Concurrency control in database systems

B. Bhargava

DOI: https://doi.org/10.1109/69.755610

IF: 9.235

1999-01-01

IEEE Transactions on Knowledge and Data Engineering

Abstract:Ideas that are used in the design, development, and performance of concurrency control mechanisms have been summarized. The locking, time-stamp, optimistic-based mechanisms are included. The ideas of validation in the optimistic approach are presented in some detail. The degree of concurrency and classes of serializability for various algorithms have been presented. Questions that relate arrival rate of transactions with degree of concurrency and performance have been briefly presented. Finally, several useful ideas for increasing concurrency have been summarized. They include flexible transactions, adaptability, prewrites, multidimensional time stamps, and relaxation of two-phase locking.

computer science, information systems, artificial intelligence,engineering, electrical & electronic
On the computational properties of basic mathematical notions

Dag Normann,Sam Sanders

DOI: https://doi.org/10.1093/logcom/exac075

2024-08-14

Abstract:We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation, suprema, and regularity. We work in higher-order computability theory based on Kleene's S1-S9 schemes. We show that the aforementioned italicised properties give rise to two huge and robust classes of computationally equivalent operations, the latter based on well-known theorems from the mainstream mathematics literature. As part of this endeavour, we develop an equivalent $\lambda$-calculus formulation of S1-S9 that accommodates partial objects. We show that the latter are essential to our enterprise via the study of countably based and partial functionals of type $3$.

Logic,Logic in Computer Science
The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices

Gershom Bazerman,Raymond Puzio

DOI: https://doi.org/10.48550/arXiv.2004.05688

2020-04-13

Abstract:This paper is motivated by the desire to study package management using the toolkit of the semantics of functional languages. As it transpires, this is deeply related to the semantics of concurrent computation. The models we produce are not solely of theoretical interest, but amenable to analysis and computation. This work makes a number of related contributions. First, it relates the specification of branching dependency structures, which exist in fields from knowledge-representation to package management, to the specification of semantics of concurrent computation. Second, it relates dependency structures to lattices in a precise way, establishing a full correspondence with a particular subclass of lattices. It then makes use of this as a key ingredient, coupled with the underappreciated Bruns-Lakser completion, in relating dependency structures to locales -- objects equipped with both topological and logical properties. It then provides an example of how this interplay of properties can be of use -- using topological properties of the dependency structure to equip internal logics of associated locales with a modality representing contraction relations (i.e. "versioning"). This approach lets us see linking (or rather, the choice of what to link against, i.e. "solving") as an effect. Finally, it discusses how such constructions may relate to important questions in complexity theory, including solutions of satisfiability problems. Along the way, we will see how this approach relates to familiar objects such as package version policies, Merkle-trees, the nix operating system, and distributed version control tooling like git.

Logic in Computer Science,Logic

Concurrency and Computability

Computation and Concurrency

The Nature of Concurrency

Deterministic concurrent systems

Non-Computability of Consciousness

The correctness of concurrencies in (reversible) concurrent calculi

Introduction to probabilistic concurrent systems

Non-deterministic computation and the Jayne-Rogers Theorem

The physical Church-Turing thesis and non deterministic computation over the real numbers

Computability in Dynamical Systems

On the formalization of the notion of a concurrent algorithm

An adequacy theorem between mixed powerdomains and probabilistic concurrency

The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers

Computable Gelfand Duality

Directed Algebraic Topology and Concurrency

Robin Milner's Work on Concurrency: An Appreciation

Conversational Concurrency

The Problem of Programming Language Concurrency Semantics

Concurrency control in database systems

On the computational properties of basic mathematical notions

The Topological and Logical Structure of Concurrency and Dependency via Distributive Lattices