Creative Commons
| Preface M. Koutny and I. Ulidowski | ||
| Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems | ||
| Roy Mennicke | ||
| Algebraic Structure of Combined Traces | ||
| Lukasz Mikulski | ||
| Linearizability with Ownership Transfer | ||
| Alexey Gotsman and Hongseok Yang | ||
| Reachability Problem for Weak Multi-Pushdown Automata | ||
| Wojciech Czerwiński, Piotr Hofman and Sławomir Lasota | ||
| A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets | ||
| Victor Khomenko, Roland Meyer and Reiner Hüchting | ||
| All Linear-Time Congruences for Familiar Operators | ||
| Antti Valmari | ||
| Avoiding Shared Clocks in Networks of Timed Automata | ||
| Sandie Balaguer and Thomas Chatain | ||
| Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems | ||
| Henning Kerstan and Barbara König | ||