From Branching to Linear Time, Coalgebraically

DOI10.3233/FI-2017-1474zbMath1429.68146arXiv1309.0891OpenAlexW2013127440MaRDI QIDQ4589615

Corina Cîrstea

Publication date: 10 November 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.0891

zbMATH Keywords

coalgebratracelinear time

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ (in)finite trace equivalence of probabilistic transition systems

This page was built for publication: From Branching to Linear Time, Coalgebraically