Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers - Cîrstea, Corina; Cîrstea, Corina (Springer International Publishing : Imprint: Springer, 2018)