Trace semantics via determinization

This paper takes a fresh look at the topic of trace semantics in the theory of coalgebras. The first development of coalgebraic trace semantics used final coalgebras in Kleisli categories, stemming from an initial algebra in the underlying category (see notably~\cite{HasuoJS07}). This approach requi...

Full description

Bibliographic Details
Main Author: Jacobs, Bart (author)
Other Authors: Silva, Alexandra (author), Sokolova, Ana (author)
Format: article
Language:eng
Published: 2015
Subjects:
Coalgebra
Kleisli category
Eilenberg-Moore category
Trace semantics
Science & Technology
Online Access:http://hdl.handle.net/1822/37870
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/37870

Internet

http://hdl.handle.net/1822/37870

Similar Items