Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Generalized Kahn Principle for Abstract Asynchronous Samson Abramsky

Summary: A Generalized Kahn Principle for Abstract Asynchronous
Samson Abramsky
Department of Computing
Imperial College of Science, Technology and Medicine
180 Queen's Gate
London SW7 2BZ
Published in the Proceedings of the Symposium on
Mathematical Foundations of Programming Language Semantics,
Springer Lecture Notes in Computer Science 442, pp. 1{21
November 3, 1989
Our general motivation is to answer the question: \What is a model of concurrent compu-
tation?". As a preliminary exercise, we study data ow networks. We develop a very general
notion of model for asynchronous networks. The \Kahn Principle", which states that a net-
work built from functional nodes is the least xpoint of a system of equations associated
with the network, has become a benchmark for the formal study of data ow networks. We
formulate a generalized version of the Kahn Principle, which applies to a large class of non-
deterministic systems, in the setting of abstract asynchronous networks; and prove that the


Source: Abramsky, Samson - Computing Laboratory, University of Oxford


Collections: Computer Technologies and Information Sciences