Logic Journal of the IGPL 6 (2):349-368 (1998)

his paper is included in a series aiming to contribute to the algebraic theory of distributed computation. The key problem in understanding Multi-Agent Systems is to find a theory which integrates the reactive part and the conrol part of such systems.To this end we use the calculus of flownomials. It is a polynomial-like 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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/6.2.349
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,992
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Nonrepresentable Sequential Algebras.P. Jipsen & R. Maddux - 1997 - Logic Journal of the IGPL 5 (4):565-574.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
The Additive Multiboxes.Lorenzo Tortora de Falco - 2003 - Annals of Pure and Applied Logic 120 (1-3):65-102.
Cut Elimination for a Calculus with Context-Dependent Rules.Birgit Elbl - 2001 - Archive for Mathematical Logic 40 (3):167-188.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
New Aspects of the Probabilistic Evaluation of Hypotheses and Experience.Rainer Gottlob - 2000 - International Studies in the Philosophy of Science 14 (2):147 – 163.


Added to PP index

Total views
1 ( #1,481,938 of 2,439,394 )

Recent downloads (6 months)
1 ( #433,565 of 2,439,394 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes