scientific article; zbMATH DE number 7020137

zbMath1424.68109MaRDI QIDQ4621137

E. P. de Vink, Ana Sokolova, Harald Woracek

Publication date: 8 February 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebrasweak bisimulationgenerative probabilistic transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Related Items (6)

Bisimulation as a logical relation ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Unnamed Item ⋮ A general account of coinduction up-to ⋮ Probabilistic mediator: a coalgebraic perspective ⋮ Unnamed Item

This page was built for publication: