Software—Practice & Experience
A fixpoint semantics for nondeterministic data flow
Journal of the ACM (JACM)
LUCID, the dataflow programming language
LUCID, the dataflow programming language
Current trends in concurrency. Overviews and tutorials
A theory for nondeterminism, parallelism, communication, and concurrency
Theoretical Computer Science
Initiality, induction, and computability
Algebraic methods in semantics
A fully abstract semantics for data flow nets
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Predicative specifications for functional programs describing communication networks
Information Processing Letters
On flowchart theories. Part I. The deterministic case
Journal of Computer and System Sciences
On flowchart theories: part II. The nondeterministic case
Theoretical Computer Science
Functional programming using standard ML
Functional programming using standard ML
Program correctness over abstract data types, with error-state semantics
Program correctness over abstract data types, with error-state semantics
Program derivation by fixed point computation
Science of Computer Programming
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Handbook of logic in computer science (vol. 1)
Handbook of logic in computer science (vol. 2)
Mathematical theory of domains
Mathematical theory of domains
Communications of the ACM
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Theory of Computation over Stream Algebras, and its Applications
MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
First version of a data flow procedure language
Programming Symposium, Proceedings Colloque sur la Programmation
Applicative communicating processes in first order logic
Proceedings of the 5th Colloquium on International Symposium on Programming
Proceedings of the Second International Conference on Algebraic and Logic Programming
Functional Specification of Time Sensitive Communicating Systems
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Algebraic Semantics of Rewriting Terms and Types
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
A data flow language for operating systems programming
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
A mathematical theory of synchronous concurrent algorithms
A mathematical theory of synchronous concurrent algorithms
Hi-index | 0.00 |
Many examples of computational systems compute over infinite sequences of data called streams. We call such systems stream transformers and the study of their theoretical and practical aspects stream processing. In this paper we present a tool for composing stream transformers within an extremely weak second-order, algebraic account of stream processing that comprises a straightforward method for the implementation, specification and verification of stream processing systems.