Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski. Reduction of Order Structures. In 17th International Conference on Application of Concurrency to System Design, ACSD 2017, Zaragoza, Spain, June 25-30, 2017. pages 96-105, IEEE Computer Society, 2017. [doi]
Abstract is missing.