Data Intensive Distributed Computing in Data Aware Self-organizing Networks
From MaRDI portal
Publication:2889856
DOI10.1007/978-3-642-28525-7_3zbMath1350.68050OpenAlexW32216397MaRDI QIDQ2889856
Publication date: 8 June 2012
Published in: Transactions on Computational Science XV (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28525-7_3
category theorydata streamsWSNsMANETscategorical structuresstream calculuscoinductive principlesdata-aware computingdata-aware self-organizing networkstheory of algebras and coalgebras
Network design and communication in computer systems (68M10) Abstract data types; algebraic specification (68Q65) Distributed systems (68M14)
Cites Work
- Universal coalgebra: A theory of systems
- Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis
- Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
- Elements of Stream Calculus
- Agents and Computational Autonomy
- Agents and Computational Autonomy
- Agents and Computational Autonomy
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Data Intensive Distributed Computing in Data Aware Self-organizing Networks