Data Intensive Distributed Computing in Data Aware Self-organizing Networks
From MaRDI portal
Publication:2889856
DOI10.1007/978-3-642-28525-7_3zbMath1350.68050MaRDI 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 theory; data streams; WSNs; MANETs; categorical structures; stream calculus; coinductive principles; data-aware computing; data-aware self-organizing networks; theory of algebras and coalgebras
68M10: Network design and communication in computer systems
68Q65: Abstract data types; algebraic specification
68M14: Distributed systems
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