Results 1 
7 of
7
Firstorder axioms for asynchrony
 In Proc. CONCUR
, 1997
"... Abstract. We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a generalpurpose, mathematically rigorous definition of several notions of asynchrony in a natural setting where an agent is asynchronous if its input and/or output is filt ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a generalpurpose, mathematically rigorous definition of several notions of asynchrony in a natural setting where an agent is asynchronous if its input and/or output is filtered through a buffer or a queue, possibly with feedback. In a series of theorems, we give necessary and sufficient conditions for each of these notions in the form of simple firstorder or secondorder axioms. We illustrate the formalism by applying it to asynchronous CCS and the core join calculus.
Reaction and Control I. Mixing Additive and Multiplicative Network Algebras
 Logic Journal of the IGPL
, 1996
"... . This paper is included in a series aiming to contribute to the algebraic theory of distributed computation. The key problem in understanding MultiAgent Systems is to find a theory which integrates the reactive part and the control part of such systems. To this end we use the calculus of flownomi ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
(Show Context)
. This paper is included in a series aiming to contribute to the algebraic theory of distributed computation. The key problem in understanding MultiAgent Systems is to find a theory which integrates the reactive part and the control part of such systems. To this end we use the calculus of flownomials. It is a polynomiallike calculus for representing flowgraphs and their behaviours. An `additive' interpretation of the calculus was intensively developed to study control flowcharts and finite automata. For instance, regular algebra and iteration theories are included in a unified presentation. On the other hand, a `multiplicative' interpretation of the calculus of flownomials was developed to study dataflow networks. The claim of this series of papers is that the mixture of the additive and multiplicative network algebras will contribute to the understanding of distributed computation. The role of this first paper is to present a few motivating examples. To appear in Journal of IGPL....
A short tour on FEST
 Preprint Series in Mathematics, Institute of Mathematics, Romanian Academy, No. 38/December
, 1996
"... . This paper is included in a series aiming to contribute to the algebraic theory of distributed computation. The key problem in understanding MultiAgent Systems is to find a theory which integrates the reactive part and the control part of such systems. The claim of this series of papers is that ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
. This paper is included in a series aiming to contribute to the algebraic theory of distributed computation. The key problem in understanding MultiAgent Systems is to find a theory which integrates the reactive part and the control part of such systems. The claim of this series of papers is that the mixture of the additive and multiplicative network algebras (MixNA) will contribute to the understanding of distributed computation. The aim of this part of the series is to make a short introduction to the kernel language FEST (Flownomial Expressions and System Tasks) based on MixNA. 1 Introduction FEST (Flownomial Expressions and System Tasks) is a kernel language under construction at UniBuc. Its main feature is a full integration of reactive and control modules. It has a clear mathematical semantics based on MixNA. 2 Unstructured FEST programs The unstructured FEST programs freely combine control and reactive modules. The wording "unstructured" referees to the fact that the basic s...
Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms
, 1997
"... ..."
Subscription Information
"... We use Tarski's relational calculus to construct a model of linear temporal logic. Both discrete and dense time are covered and we obtain denotational domains for a large variety of reactive systems. Keywords : Relational algebra, reactive systems, temporal algebra, temporal logic. 1 ..."
Abstract
 Add to MetaCart
We use Tarski's relational calculus to construct a model of linear temporal logic. Both discrete and dense time are covered and we obtain denotational domains for a large variety of reactive systems. Keywords : Relational algebra, reactive systems, temporal algebra, temporal logic. 1