Synchronous Kahn networks

DOI10.1145/232627.232651MaRDI QIDQ2817701zbMATH OpenOpenAlexFDO

Authors Paul Caspi, Marc Pouzet

Publication date 1 September 2016

Published in Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/232627.232651

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
• scientific article; zbMATH DE number 1231624
• A generalized Kahn Principle for abstract asynchronous networks
• scientific article; zbMATH DE number 1361139
• Synchronous structures

Cited in

(22)

• Linear dynamic Kahn networks are deterministic
• Clocks in dataflow languages
• Asynchronous stream processing with S-Net
• Resource control for synchronous cooperative threads
• Time warps, from algebra to algorithms
• Foundations of Boolean stream runtime verification
• Static analysis of run-time modes in Kahn process networks
• Kahn networks at the dawn of functional programming
• A constructive denotational semantics for Kahn networks in Coq
• Static analysis of run-time modes in synchronous process network
• Modelling of Complex Software Systems: A Reasoned Overview
• Conversion from data-driven to synchronous execution in loop programs
• scientific article; zbMATH DE number 1231624 (Why is no real title available?)
• scientific article; zbMATH DE number 1956562 (Why is no real title available?)
• Reactive concurrent programming revisited
• \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
• Abstraction of Clocks in Synchronous Data-Flow Systems
• Deciding Equations in the Time Warp Algebra
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• Monoidal streams for dataflow programming
• Coinductive streams in monoidal categories
• Higher order dataflow schemas

This page was built for publication: Synchronous Kahn networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817701)