The chemical abstract machine

Berry, Gérard; Boudol, Gérard

doi:10.1145/96709.96717

Cited by 243 publications

(129 citation statements)

References 10 publications

(1 reference statement)

Supporting

Mentioning

128

Contrasting

Unclassified

Order By: Relevance

“…Richer process calculi exist, such as the Join-calculus [FG96] (and its extension to mobility [FGL + 96]) based on the reflexive CHAM (CHemical Abstract Machine) [BB92] and also the Ambient calculus [CG98]. They allow the description of separated membranes/domains, where processes interact with each other within a domain or perform explicit actions to move in or out of domains.…”

Section: Process Calculimentioning

confidence: 99%

On the diversity of asynchronous communication

2016

View full text Add to dashboard Cite

Asynchronous communication is often viewed as a single entity, the counterpart of synchronous communication. Although the basic concept of asynchronous communication is the decoupling of send and receive events, there is actually room for a variety of additional specification of the communication, for instance in terms of ordering. Yet, these different asynchronous communications are used interchangeably and seldom distinguished. This paper is a contribution to the study of these models, their differences, and how they are related. In this paper, the variety of point-to-point asynchronous communication paradigms is considered with two approaches. In the first and theoretical one, communication models are specified as properties on the ordering of events in distributed executions. In the second and more practical approach that involves composition of peers, they are modeled with transition systems and message histories as part of a framework. The described framework enables to model peer composition and compatibility properties. Besides, an implemented tool chain based on the TLA + formalism and model checking is also proposed and illustrated. The conformance of the two approaches is highlighted. A hierarchy is established between the studied communication models. From the execution viewpoint, it completes existing work in the area by introducing more asynchronous communication models and showing their differences. The framework is shown to offer abstract implementations of the communication models. Both the correctness and the completeness of the descriptions in the framework are studied. This reveals necessary restrictions on the behavior of the peers so that the communication models are actually implementable.

show abstract

Section: Process Calculimentioning

confidence: 99%

On the diversity of asynchronous communication

2016

View full text Add to dashboard Cite

show abstract

“…There are different approaches to nature-inspired computing: reaction-diffusion computing [8][9][10]; chemical computing [11]; biological computing [12,13]; and so on. In all these computational models, parallel inferring and concurrency are assumed as key notions.…”

Section: The Proof-theoretic Cellular Automaton For Belousov-zhabotinmentioning

confidence: 99%

Kabbalistic–Leibnizian Automata for Simulating the Universe

Schumann

2012

Molecular and Supramolecular Information Processing

View full text Add to dashboard Cite

“…Comparison with the existing models should be done and possibility of their utilization should be considered. In particular, so-called P-systems [8,24,[92][93][94][95] and (M,R)-systems [28,72,[103][104][105] should be taken into consideration.…”

Section: Introduction Of Formal Definitions Of the Proposed Termsmentioning

confidence: 99%

The general entity of life: a cybernetic approach

Bielecki

2015

Biol Cybern

View full text Add to dashboard Cite

Life, not only in the well-known context of biochemical metabolism but also in the context of hypothetical life synthesized laboratorially or possibly found on other planets, is considered in this paper. The three-component information-energetic-structural irreducible processing in autonomous systems is the core of the proposed approach. The cybernetic organization of a general entity of life--the alivon--is postulated. The crucial properties of life and evolution are derived from the proposed approach. Information encoded in biological structures is also studied.

show abstract

The chemical abstract machine

Cited by 243 publications

References 10 publications

On the diversity of asynchronous communication

On the diversity of asynchronous communication

Kabbalistic–Leibnizian Automata for Simulating the Universe

The general entity of life: a cybernetic approach

Contact Info

Product

Resources

About