"A semantics comparison workbench for a concurrent, asynchronous, ..."

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier