Stability and Sequentiality in Dataflow Networks

@inproceedings{Panangaden1990StabilityAS,
  title={Stability and Sequentiality in Dataflow Networks},
  author={Prakash Panangaden and Vasant Shanbhogue and Eugene W. Stark},
  booktitle={ICALP},
  year={1990}
}
The class of monotone input/output automata has been shown in the authors' previous work to be a useful operational model for dataaow-style networks of communicating processes. An interesting class of problems arising from this model are those that concern the relationship between the input/output behavior of automata to the structure of their transition graphs. In this paper, we restrict our attention to the subclass of determinate automata, which compute continuous functions, and we… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Sequential Algorithms on Concrete Data Structures

Theor. Comput. Sci. • 1982
View 13 Excerpts
Highly Influenced

Stable Models of Typed lambda-Calculi

ICALP • 1978
View 14 Excerpts
Highly Influenced

Structures de donn ees concr etes

G. Kahn, G. Plotkin
Technical Report 336, IRIA- LABORIA, • 1978
View 8 Excerpts
Highly Influenced

LCF Considered as a Programming Language

Theor. Comput. Sci. • 1977
View 11 Excerpts
Highly Influenced

The Semantics of Simple Language for Parallel Programming

IFIP Congress • 1974
View 15 Excerpts
Highly Influenced

On the Relations Computed by a Class of Concurrent Automata

E. W. Stark
Technical Report 88-09, SUNY at Stony Brook Computer Science Dept., • 1988
View 11 Excerpts
Highly Influenced

Trace Theory

Advances in Petri Nets • 1986
View 3 Excerpts
Highly Influenced

Concurrent Transition Systems

Theor. Comput. Sci. • 1989
View 2 Excerpts

Connections between a Concrete and an Abstract Model of Concurrent Systems

Mathematical Foundations of Programming Semantics • 1989
View 12 Excerpts

Similar Papers

Loading similar papers…