Shen-Tzay Huang D. Stott Parker Computer Science Department University of...  Home/Search
Context
Related
| ucla.edu/~stott/sp...r.Kahn=Picard.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucla.edu/~stott/spub/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Anyone who has studied parallel programming with Kahn's networks of processes and also systems theory or control theory has noticed a strong similarity between the two. For one thing, both use similar diagrams, often with feedback, to express computations formed as compositions of incremental transforms. What is a mathematical basis for reconciling the two? Picard's theorem is a classical result in the theory of differential equations and integral equations. Kahn's theorem has similar renown in ... (Update)
Active bibliography (related documents): More All
0.5: A Theoretical Framework For The Conception Of Agency - Amigoni, Somalvico, Zanisi (1999) (Correct)
0.5: A Topological Property of Rational - Languages Andr'e Arnold (Correct)
0.3: Power Series, Power Serious - McIlroy (1998) (Correct)
Similar documents based on text: More All
0.2: Kahn's Fixed-Point Characterization for Linear Dynamic.. - Nienhuys-Cheng, de Bruin (1997) (Correct)
0.2: A Proof of the Kahn Principle for Input/Output Automata - Nancy Lynch (1989) (Correct)
0.2: An MPEG-2 Decoder Case Study as a Driver for a.. - van der Wolf.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ huang-kahns,
author = "Shen-Tzay Huang",
title = "Kahn's Networks of Processes as discrete analogues of Picard's Systems
of Differential Equations",
url = "citeseer.ist.psu.edu/162242.html" }
Citations (may not include all citations):509 Introduction to Lattices and Order (context) - Davey, Priestley - 1990
302 The Semantics of A Simple Language for Parallel Programming (context) - Kahn - 1974
210 Its Syntax and Semantics (context) - Barendregt, Calculus - 1984
198 Trace theory for automatic hierarchical verification of spee.. (context) - Dill - 1989
107 Coroutines and Networks of Parallel Processes (context) - Kahn, MacQueen - 1977
58 Introductory Real Analysis (context) - Kolmogorov, Fomin - 1970
26 Transformational Design and Implementation of a New Efficien.. - Bloom, Paige - 1993
15 Modelling Operating System Structures by Timed Stream Proces.. - Broy, Dendorfer - 1992
6 Metric Interpretations of Infinite Trees and Semantics of No.. (context) - Arnold, Nivat - 1980
5 Chaos and Fractals : New Frontiers of Science (context) - Peitgen, Jurgens et al. - 1992
4 Applied Algebra and Functional Analysis (context) - Michel, Herget - 1981
3 Squinting at Power Series - McIlroy - 1990
2 Strong Fairness and Ultra Metrics (context) - Priese, Nolte - 1992
2 Liveness Properties as Convergence in Metric Spaces (context) - Degano, Montanari - 1984
1 NY: Springer-Verlag (context) - Snepscheut, Theory et al. - 1985
1 NY: Springer-Verlag (context) - Francez - 1986
Documents on the same site (http://www.cs.ucla.edu/~stott/spub/): More
Aesthetics-based Graph Layout for Human Consumption - Coleman (1993) (Correct)
A New Understanding of Greed - Ram (1993) (Correct)
CHAPTER 1 Background - Parker, Jr. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC