Publication:4994127
From MaRDI portal
zbMath1464.68255arXiv1310.4575MaRDI QIDQ4994127
A. A. Jafari, Andreas Lundblad, Mads Dam, Karl Palmskog
Publication date: 17 June 2021
Full work available at URL: https://arxiv.org/abs/1310.4575
68R10: Graph theory (including graph drawing) in computer science
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software