Towards a Uniform Topological Treatment of Streams and Functions on Streams

Authors:
J. W. de Bakker;Joost N. Kok
Affiliations:
-;-
Venue:
Proceedings of the 12th Colloquium on Automata, Languages and Programming
Year:
1985

Citing 0
Cited 2

Abstract behavior types: a foundation model for components and their composition

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A semantic model for graphical user interfaces

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

Abstract