Parameterized dataflow (extended abstract)
From MaRDI portal
Cites work
- \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
- Amalgamating sessions and methods in object-oriented languages with generics
- CONCUR 2004 - Concurrency Theory
- Dynamic multirole session types
- scientific article; zbMATH DE number 3469994 (Why is no real title available?)
- Multiparty asynchronous session types
- Practical affine types
- Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
- Type-based information flow analysis for the \(\pi\)-calculus
This page was built for publication: Parameterized dataflow (extended abstract)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7021657)