Skip to main content

Acta Informatica

Ausgabe 7-8/2019

Inhalt (3 Artikel)

Original Article

Reversible sessions with flexible choices

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini

Open Access Original Article

Distributive laws for monotone specifications

Jurriaan Rot

Original Article

Using contracted solution graphs for solving reconfiguration problems

Paul Bonsma, Daniël Paulusma