Volume 56, Issue 7-8 | Acta Informatica

Search all Acta Informatica articles

Volume 56, Issue 7-8

November 2019

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Reversible sessions with flexible choices
Ilaria Castellani
Mariangiola Dezani-Ciancaglini
Paola Giannini
Original Article 01 March 2019 Pages: 553 - 583
Distributive laws for monotone specifications
Jurriaan Rot
Original Article Open access 22 February 2019 Pages: 585 - 617
Using contracted solution graphs for solving reconfiguration problems
Paul Bonsma
Daniël Paulusma
Original Article 31 May 2019 Pages: 619 - 648