Volume 57, Issue 6 | Acta Informatica

Search all Acta Informatica articles

Volume 57, Issue 6

December 2020

Special Issue: EXPRESS/SOS 2016 + 2017

Issue Editors:

Kirstin Peters,
Simone Tini

4 articles in this issue

Preface to special issue: EXPRESS/SOS 2016 + 2017
Kirstin Peters
Simone Tini
Editorial 19 September 2019 Pages: 759 - 760
Expressiveness of component-based frameworks: a study of the expressiveness of BIP
Eduard Baranov
Simon Bliudze
Original Article 15 June 2019 Pages: 761 - 800
Using session types for reasoning about boundedness in the \(\pi \)-calculus
Hans Hüttel
Original Article 01 September 2019 Pages: 801 - 827
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP
Eduard Baranov
Simon Bliudze
Correction 16 September 2019 Pages: 829 - 829