Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Description

This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017. The 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: algorithms and complexity; and logic, semantics, and programming theory. Front Matter ....Pages I-XVII Front Matter ....Pages 1-1 Design and Validation of Cloud Storage Systems Using Formal Methods (Peter Csaba Ölveczky)....Pages 3-8 Front Matter ....Pages 9-9 A Characterization of Horoidal Digraphs (Ardeshir Dolati)....Pages 11-25 Gomory Hu Tree and Pendant Pairs of a Symmetric Submodular System (Saeid Hanifehnezhad, Ardeshir Dolati)....Pages 26-33 Inverse Multi-objective Shortest Path Problem Under the Bottleneck Type Weighted Hamming Distance (Mobarakeh Karimi, Massoud Aman, Ardeshir Dolati)....Pages 34-40 Front Matter ....Pages 41-41 Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths (Mohsen Safari, Ali Ebnenasir)....Pages 43-58 Exposing Latent Mutual Exclusion by Work Automata (Kasper Dokter, Farhad Arbab)....Pages 59-73 A Decidable Subtyping Logic for Intersection and Union Types (Luigi Liquori, Claude Stolze)....Pages 74-90 Container Combinatorics: Monads and Lax Monoidal Functors (Tarmo Uustalu)....Pages 91-105 Unification of Hypergraph \(\lambda \)-Terms (Alimujiang Yasen, Kazunori Ueda)....Pages 106-124 Back Matter ....Pages 125-125