Skip navigation
Skip navigation

Simplified coalgebraic trace equivalence

Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schroder, Lutz


The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called lineartime/ branching-time spectrum, from fine-grained equivalences such as strong bisimilarity to coarse-grained ones such as trace equivalence. The theory of concurrent systems at large has benefited from developments in coalgebra, which has enabled uniform definitions and results that provide a common umbrella for seemingly disparate system types...[Show more]

CollectionsANU Research Publications
Date published: 2014
Type: Journal article
Source: arXiv (e-archive for Pre-prints, author submits)
DOI: 10.2463


File Description SizeFormat Image
01_Kurz_Simplified_coalgebraic_trace_2014.pdf144.39 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator