1. Preface

   • Peter Höfner
   • Carroll Morgan
   • Vaughan Pratt

   Editorial 06 May 2020 Pages: 305 - 311

   

2. Synchronous and asynchronous communication(s) between three parties

   • Ursula Goltz
   • Jens-W. Schicke-Uffmann

   Private Contribution 06 May 2020 Pages: 313 - 320

   

3. My time with Rob

   • Vaughan Pratt

   Private Contribution 06 May 2020 Pages: 321 - 322

4. Out for coffee: with Rob

   • Ansgar Fehnker

   Private Contribution Open access 06 May 2020 Pages: 323 - 327

   

5. Congruence from the operator’s point of view

   • Maciej Gazda
   • Wan Fokkink
   • Vittorio Massaro

   Original Article Open access 02 December 2019 Pages: 329 - 351

   

6. All congruences below stability-preserving fair testing or CFFD

   • Antti Valmari

   Original Article Open access 06 May 2020 Pages: 353 - 383

   

7. Arithmetical datatypes with true fractions

   • Jan A. Bergstra
   • Alban Ponse

   Original Article Open access 13 January 2020 Pages: 385 - 402

8. Translating between models of concurrency

   • David Mestel
   • A. W. Roscoe

   Original Article Open access 06 May 2020 Pages: 403 - 438

   

9. Coupled similarity: the first 32 years

   • Benjamin Bisping
   • Uwe Nestmann
   • Kirstin Peters

   Original Article 28 November 2019 Pages: 439 - 463

   

10. On the probabilistic bisimulation spectrum with silent moves

    • Christel Baier
    • Pedro R. D’Argenio
    • Holger Hermanns

    Original Article 06 May 2020 Pages: 465 - 512

    

11. A linear-time branching-time perspective on interface automata

    • Walter Vogler
    • Gerald Lüttgen

    Original Article Open access 06 May 2020 Pages: 513 - 550

    

12. Off-the-shelf automated analysis of liveness properties for just paths

    • Mark Bouwman
    • Bas Luttik
    • Tim Willemse

    Original Article Open access 06 May 2020 Pages: 551 - 590

    

13. Solving high-level Petri games

    • Manuel Gieseking
    • Ernst-Rüdiger Olderog
    • Nick Würdemann

    Original Article Open access 06 May 2020 Pages: 591 - 626

    

14. SMT-based generation of symbolic automata

    • Xudong Qin
    • Simon Bliudze
    • Min Zhang

    Original Article 06 May 2020 Pages: 627 - 656

    

15. Minimal consistent DFA from sample strings

    • Chenyi Zhang

    Original Article 06 May 2020 Pages: 657 - 670

    

16. Characteristic invariants in Hennessy–Milner logic

    • Marc Jasper
    • Maximilian Schlüter
    • Bernhard Steffen

    Original Article Open access 06 May 2020 Pages: 671 - 687

    

17. A complete axiomatization of weighted branching bisimulation

    • Mathias Claus Jensen
    • Kim Guldstrand Larsen

    Original Article 06 May 2020 Pages: 689 - 725

    

18. Transducer degrees: atoms, infima and suprema

    • Jörg Endrullis
    • Jan Willem Klop
    • Rena Bakhshi

    Original Article 05 December 2019 Pages: 727 - 758