Trace Semantics for Coalgebras-Reference-Cited by-同舟云学术

Trace Semantics for Coalgebras

Published:2004-12 Issue: Volume:106 Page:167-184
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Jacobs Bart

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference7 articles.

1. F. Bartels. On generalised coinduction and probabilistic specification formats. Distributive laws in coalgebraic modelling. PhD thesis, Free Univ. Amsterdam, 2004. http://homepages.cwi.nl/~bartels/

2. Bisimulation can't be traced;Bloom;Journ. ACM,1988

3. Exercises in coalgebraic specification;Jacobs,2002

4. Notions of computation and monads;Moggi;Inf. & Comp.,1991

5. A coalgebraic foundation for linear time semantics;Power,1999

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras;Lecture Notes in Computer Science;2024

3. Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking;Lecture Notes in Computer Science;2024

4. Monadic Monadic Second Order Logic;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

5. Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic;Coalgebraic Methods in Computer Science;2022