Ausgabe 3-5/2020
Special Issue: Rob van Glabbeek - Festschrift
Inhalt (18 Artikel)
Private Contribution
Synchronous and asynchronous communication(s) between three parties
Ursula Goltz, Jens-W. Schicke-Uffmann
Open Access
Original Article
Congruence from the operator’s point of view
Maciej Gazda, Wan Fokkink, Vittorio Massaro
Open Access
Original Article
All congruences below stability-preserving fair testing or CFFD
Antti Valmari
Open Access
Original Article
Arithmetical datatypes with true fractions
Jan A. Bergstra, Alban Ponse
Original Article
Coupled similarity: the first 32 years
Benjamin Bisping, Uwe Nestmann, Kirstin Peters
Original Article
On the probabilistic bisimulation spectrum with silent moves
Christel Baier, Pedro R. D’Argenio, Holger Hermanns
Open Access
Original Article
A linear-time branching-time perspective on interface automata
Walter Vogler, Gerald Lüttgen
Open Access
Original Article
Off-the-shelf automated analysis of liveness properties for just paths
Mark Bouwman, Bas Luttik, Tim Willemse
Open Access
Original Article
Solving high-level Petri games
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
Original Article
SMT-based generation of symbolic automata
Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang
Open Access
Original Article
Characteristic invariants in Hennessy–Milner logic
Marc Jasper, Maximilian Schlüter, Bernhard Steffen
Original Article
A complete axiomatization of weighted branching bisimulation
Mathias Claus Jensen, Kim Guldstrand Larsen
Original Article
Transducer degrees: atoms, infima and suprema
Jörg Endrullis, Jan Willem Klop, Rena Bakhshi