15 citations · 17 across the 4 of their papers we have counts for
4 papers
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…
Modal Reactors
Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh +2
Complex software systems often feature distinct modes of operation, each designed to handle a particular scenario that may require the system to respond in a certain way. Breaking…
Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)
Patrizio Angelini, Reinhard von Hanxleden
This is the arXiv index for the electronic proceedings of GD 2022, which is held at the Tokyo Institute of Technology, Tokyo, Japan, on September 13 - 16, 2022. It contains the pee…
Compact Layered Drawings of General Directed Graphs
Adalat Jabrayilov, Sven Mallach, Petra Mutzel +2
We consider the problem of layering general directed graphs under height and possibly also width constraints. Given a directed graph G = (V,A) and a maximal height, we propose a la…