[Lecture Notes on Data Engineering and Communications Technologies] Advances on P2P, Parallel, Grid, Cloud and Internet Computing Volume 24 (Proceedings of the 13th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC-2018)) || Fault-Tolerant Fog Computing Models in the IoT
- 作者Xhafa, Fatos; Leu, Fang-Yie; Ficco, Massimo; Yang, Chao-Tung
- 文件大小1673.45KB
- 发表时间2019
- DOI10.1007/978-3-030-02607-3_2
- 页码14-25
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 ||Kahl, Wolfram; Griffin, Timothy G. · 2012
Lecture Notes in Computer Science 3051 Relational and Kleene-Algebraic Methods in Computer Science 7Springer-Verlag · 2004
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 10226 ||Höfner, Peter; Pous, Damien; Struth, Georg · 2017
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 953 || Relational set theoryPitt, David; Rydeheard, David E.; Johnstone, Peter · 1995
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Relations on HypergraphsKahl, Wolfram; Griffin, Timothy G. · 2012
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Rasiowa-Sikorski Style Relational Elementary Set TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 9348 || Towards Antichain AlgebraKahl, Wolfram; Winter, Michael; Oliveira, José N. · 2015
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Relational specifications and observational semanticsGruska, Jozef; Rovan, Branislav; Wiedermann, Juraj · 1986
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 11194 (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings) ||Desharnais, Jules; Guttmann, Walter; Joosten, Stef · 2018
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 11194 (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings) || Axiomatizing Discrete Spatial RelationsDesharnais, Jules; Guttmann, Walter; Joosten, Stef · 2018
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 11194 (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings) || Towards an Analysis of Dynamic Gossip in NetkatDesharnais, Jules; Guttmann, Walter; Joosten, Stef · 2018
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 11194 (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings) || T-Norm Based Operations in Arrow CategoriesDesharnais, Jules; Guttmann, Walter; Joosten, Stef · 2018
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 11194 (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings) || Coequalizers and Tensor Products for Continuous Idempotent SemiringsDesharnais, Jules; Guttmann, Walter; Joosten, Stef · 2018
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 11194 (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings) || Distances, Norms and Error Propagation in Idempotent SemiringsDesharnais, Jules; Guttmann, Walter; Joosten, Stef · 2018
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 11194 (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings) || On the Structure of Generalized Effect Algebras and Separation AlgebrasDesharnais, Jules; Guttmann, Walter; Joosten, Stef · 2018