Synchronous Kahn networks
From MaRDI portal
Publication:2817701
DOI10.1145/232627.232651zbMath1344.68049OpenAlexW2005976511MaRDI QIDQ2817701
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
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Graph theory (including graph drawing) in computer science (68R10) Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Related Items (8)
Foundations of Boolean stream runtime verification ⋮ Deciding Equations in the Time Warp Algebra ⋮ Time warps, from algebra to algorithms ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ Asynchronous stream processing with S-Net ⋮ Resource control for synchronous cooperative threads ⋮ Modelling of Complex Software Systems: A Reasoned Overview ⋮ Reactive Concurrent Programming Revisited
This page was built for publication: Synchronous Kahn networks
